Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems - Aix-Marseille Université Access content directly
Conference Papers Year : 2015

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

Aznam Yacoub
C. Seo
  • Function : Author
Zeigler Bernard P.
  • Function : Author
  • PersonId : 881311
No 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⟩
7 View
0 Download

Share

Gmail Facebook X LinkedIn More