Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z - Archive ouverte HAL Access content directly
Conference Papers Year :

Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z

Wassim Trojet
CV
Mamoun Sqali
  • Function : Author
Claudia Frydman
  • Function : Author
Lucile Torres
  • Function : Author
Maamar El Amine Hamri
  • Function : Author
  • PersonId : 1036804
Modèles et Formalismes à Evénements Discrets

Domains

Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Modeling and Simulation

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

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

Submitted on : Thursday, February 3, 2022-5:22:23 PM

Last modification on : Friday, February 10, 2023-4:52:15 AM

Not file

Dates and versions

hal-03555686 , version 1 (03-02-2022)

Identifiers

  • HAL Id : hal-03555686 , version 1

Cite

Wassim Trojet, Mamoun Sqali, Claudia Frydman, Lucile Torres, Maamar El Amine Hamri. Validating the Global Behaviour of a System Described with Scenarios using GDEVS and Z. 21th European Modeling and Simulation Symposium, Sep 2009, Canary Island, Spain. ⟨hal-03555686⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

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

Share

Gmail Facebook Twitter LinkedIn More