Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph - Archive ouverte HAL
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]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00523613

Soumis le : mardi 5 octobre 2010-18:05:31

Dernière modification le : vendredi 5 janvier 2024-03:22:02

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More