FAERUS
Formal Analysis of Evolving Resilient Usable Systems

 

 




International Mini-project in the context of the
EU Network of Excellence ReSIST, 2008
Contract Number: 026764
Pisa, IT
Thursday May 19, 2009.

  • Project Coordinator
Contact
  •   M.Massink AT isti.cnr.it

For further information please contact the Project coordinator:

Dr. Mieke Massink
CNR-ISTI
Via Moruzzi 1,
56124 Pisa, Italy
Home page: http://www.isti.cnr.it/People/M.Massink
 


Last update: May 19, 2009