- Computer Science Laboratory Every 25th of the month, LIP6 supports the “Orange Day”» to end violences against women!

MeFoSyLoMa

RSS

Méthodes Formelles pour les Systèmes Logiciels et Matériels

Freitag, 11. April 2008
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.


Mehr Informationen hier …
hugues (at) nullinfres.enst.fr