MeFoSyLoMa
![RSS MoVe RSS](../images/rss.gif)
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Vendredi 11 avril 2008Intervenant(s) : Peter Feiler, Software Engineering Institute, CMU; Béchir Zalila, TELECOM ParisTech
Premier exposé : Validation of Safety-Critical Systems with AADL.
Deuxième exposé : Configuration and Deployment of Distributed Real-time and Embedded Applications Using an Architecture Description Language.
Plus d'informations ici …
hugues (at) nullinfres.enst.fr