Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

hal-00523605 , version 1 (05-10-2010)

Identifiants

  • HAL Id : hal-00523605 , version 1

Citer

Charlotte Seidner, Jean-Philippe Lerat, Olivier Henri Roux. Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues. 17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10. ⟨hal-00523605⟩
181 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More