Communication Dans Un Congrès
Année : 2008
Olivier Henri Roux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00523610
Soumis le : mardi 5 octobre 2010-17:58:56
Dernière modification le : vendredi 5 janvier 2024-03:25:12
Dates et versions
Identifiants
- HAL Id : hal-00523610 , version 1
Citer
Charlotte Seidner, Jean-Philippe Lerat, Olivier Henri Roux. Usability and Usefulness of Formal Verification in a System Design Process. $18^{th}$ International Symposium of the INCOSE, 2008, Utrecht, Netherlands. pp.0-10. ⟨hal-00523610⟩
Collections
93
Consultations
0
Téléchargements