LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Liên kết » Các sự kiện tổ chức tại LIP6

MeFoSyLoMaRSS

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


11-04-2008
Người thuyết trình : 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.
Biết thêm chi tiết
hugues (at) nullinfres.enst.fr
 Mentions légales
Sơ đồ site |