Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : hal-00523613 , version 1

Citer

Louis-Marie Traonouez, Didier Lime, Olivier Henri Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph. 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. pp.280-294. ⟨hal-00523613⟩
101 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More