Documents publiés en "2014"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

Communication écrite

Gholami, M.-R., & Boucheneb, H. (octobre 2014). Applying formal methods into safety-critical health applications [Communication écrite]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. Lien externe

Liste produite: Tue Oct 20 11:29:16 2026 EDT.