Communication Dans Un Congrès
Année : 2015
MAAMAR EL AMINE HAMRI : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-03643254
Soumis le : vendredi 15 avril 2022-15:42:09
Dernière modification le : lundi 10 juin 2024-16:50:19
Dates et versions
Identifiants
- HAL Id : hal-03643254 , version 1
Citer
Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, C. Seo, Zeigler Bernard P.. Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems. Proceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy. ⟨hal-03643254⟩
18
Consultations
0
Téléchargements