Conference Papers
Year : 2011
Ist Inria Nancy Grand Est : Connect in order to contact the contributor
https://inria.hal.science/inria-00601750
Submitted on : Monday, June 20, 2011-1:51:53 PM
Last modification on : Wednesday, March 15, 2023-8:54:10 AM
Dates and versions
Identifiers
- HAL Id : inria-00601750 , version 1
Cite
Mohamed Ali Kammoun, Alexandre Sava, Nidhal Rezg. Modélisation symbolique des réseaux de Petri temporels basée sur les Diagrammes des Décisions Binaires Ordonnés Temporels. 4èmes Journées Doctorales Journées Nationales MACS JDMACS 2011, Jun 2011, Marseille, France. ⟨inria-00601750⟩
Collections
109
View
0
Download