- Computer Science Laboratory LIP6 supports the Pink October campaign for breast cancer awareness.

MeFoSyLoMa

RSS

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

الجمعة 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