LIP6 » Enlaces » LIP6 organiza
MeFoSyLoMa
Méthodes Formelles pour les Systèmes Logiciels et Matériels
11/04/2008Conferenciante(s) :
Peter Feiler, Software Engineering Institute, CMU; Béchir Zalila, TELECOM ParisTechPremier 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.
Más detalles aquí
hugues (at) nullinfres.enst.fr