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

The FAERUS project ran for one year from January 1, 2008 to December 31, 2008.

Last update: May 19, 2009