Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03555686
Contributor : MAAMAR EL AMINE HAMRI Connect in order to contact the contributor
Submitted on : Thursday, February 3, 2022 - 5:22:23 PM
Last modification on : Friday, February 4, 2022 - 4:16:51 AM

Identifiers

  • HAL Id : hal-03555686, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

4