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
  •   M.Massink AT isti.cnr.it

The FAERUS project has been funded by the EU Network of Excellence ReSIST: Resilience for survivability in IST.

Last update: May 19, 2009