- 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

Friday, 四月 11, 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.


更多具体信息 …
hugues (at) nullinfres.enst.fr