Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues - Archive ouverte HAL
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]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00523605

Soumis le : mardi 5 octobre 2010-17:52:47

Dernière modification le : vendredi 5 janvier 2024-03:25:35

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N NANTES-UNIVERSITE
186 Consultations
0 Téléchargements

Partager

More