Semantic Embedding of Petri Nets into Event-B
Résumé
no abstract
Autre Publication Scientifique
Année : 2005
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458166
Soumis le : vendredi 19 février 2010-15:17:52
Dernière modification le : vendredi 5 janvier 2024-03:24:17
Dates et versions
Identifiants
- HAL Id : hal-00458166 , version 1
Citer
Christian Attiogbé. Semantic Embedding of Petri Nets into Event-B. 2005. ⟨hal-00458166⟩
Collections
38
Consultations
0
Téléchargements