Communication Dans Un Congrès
Année : 2011
Ist Inria Nancy Grand Est : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00601750
Soumis le : lundi 20 juin 2011-13:51:53
Dernière modification le : mercredi 15 mars 2023-08:54:10
Dates et versions
Identifiants
- HAL Id : inria-00601750 , version 1
Citer
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
Consultations
0
Téléchargements