Méthodes Formelles pour les Systèmes Logiciels et Matériels
Freitag, 11. April 2008Peter 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.