Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems

Aznam Yacoub
Maamar El Amine Hamri
  • Function : Author
  • PersonId : 1036804
Modèles et Formalismes à Evénements Discrets
Laboratoire d'Informatique et Systèmes
Claudia Frydman
  • Function : Author
  • PersonId : 1033834
Modèles et Formalismes à Evénements Discrets
C. Seo
  • Function : Author
Zeigler Bernard P.
  • Function : Author
  • PersonId : 881311

Domains

Computer Science [cs] Modeling and Simulation

MAAMAR EL AMINE HAMRI  : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-03643254

Submitted on : Friday, April 15, 2022-3:42:09 PM

Last modification on : Friday, March 24, 2023-2:53:26 PM

Not file

Dates and versions

hal-03643254 , version 1 (15-04-2022)

Identifiers

  • HAL Id : hal-03643254 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU TDS-MACS LIS-LAB
6 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More