PAFESD:
  Process Algebras for Electronic System Designs

Case studies and Collaboration

For research purposes, we would be pleased to receive interesting case studies on formal specification and analysis of analog/mixed-signal (AMS) and hardware system designs from anyone working in these areas.

We are also developing links with various industrial entities and welcome suggestions for collaboration.

For more information, please send mail to Pafesd@gmail.com