Communication Dans Un Congrès
Année : 2008
Olivier Henri Roux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00523611
Soumis le : mardi 5 octobre 2010-18:00:39
Dernière modification le : vendredi 5 janvier 2024-03:22:26
Dates et versions
Identifiants
- HAL Id : hal-00523611 , version 1
Citer
Charlotte Seidner, Jean-Philippe Lerat, Olivier Henri Roux. Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design. $6^{th}$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, United States. pp.0-10. ⟨hal-00523611⟩
Collections
91
Consultations
0
Téléchargements