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 Mini-project was coordinated by Mieke Massink (UPISA-CNR-ISTI)  and has participants from three different Research Institutes:
  • UPISA-CNR-ISTI : Maurice H. ter Beek, Giorgio P. Faconti, Diego Latella and Mieke Massink,
  • University of Newcastle : Michael Harrison and Jeremy Bryans,
  • IRIT: Philippe Palanque, Jean-Francois Ladry, Nathalie Kaing and Marco Winckler.

Last update: May 19, 2009