Skip to Main content Skip to Navigation
New interface
Conference papers

Logical Analysis of DEVS Models Using Z

Complete list of metadata

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

Identifiers

  • HAL Id : hal-03555743, version 1

Collections

Citation

Wassim Trojet, Maamar El Amine Hamri, Claudia Frydman. Logical Analysis of DEVS Models Using Z. International Simulation Multi-conference, Jul 2008, Edinburgh, Ireland. ⟨hal-03555743⟩

Share

Metrics

Record views

13