Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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

Aznam Yacoub
Maamar El Amine Hamri
  • Fonction : Auteur
  • PersonId : 1036804
Modèles et Formalismes à Evénements Discrets
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
Claudia Frydman
  • Fonction : Auteur
  • PersonId : 1033834
Modèles et Formalismes à Evénements Discrets
C. Seo
  • Fonction : Auteur
Zeigler Bernard P.
  • Fonction : Auteur
  • PersonId : 881311

Domaines

Modélisation et simulation

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 : vendredi 22 mars 2024-18:24:04

Fichier non déposé

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU TDS-MACS LIS-LAB
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More