Rapports annuels
- Rapport 2007
- Rapport 2008
- Rapport 2009
- Rapport 2010
- Publications pour l'année 2007
- Publications pour l'année 2008
- Publications pour l'année 2009
Livrables
- Livrable 1 Development of Distributed Algorithms
- Livrable 2 Intégration des contraintes temps réel au sein d'un processus de développement incrémental basé sur la preuve
- Livrable 3 Proof-based design patterns
- Livrable 4 Formal System Engineering
- Livrable 5 Probabilistic incremental proof-based development
- Livrable 6 Tools
- Livrable 4 Formal System Engineering