Logical Analysis of DEVS Models Using Z

Wassim Trojet; Maamar  El Amine Hamri; Claudia Frydman

Conference Papers Year :

Logical Analysis of DEVS Models Using Z

, (1, 2) ,

1
2

Wassim Trojet

Function : Author
PersonId : 177667
IdHAL : wassim-trojet

CV

Maamar El Amine Hamri

Function : Author
PersonId : 1036804

Modèles et Formalismes à Evénements Discrets

Laboratoire d'Informatique et Systèmes

Claudia Frydman

Function : Author

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-03555743

Submitted on : Thursday, February 3, 2022-5:43:31 PM

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

Dates and versions

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

Identifiers

HAL Id : hal-03555743 , version 1

Cite

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⟩

Logical Analysis of DEVS Models Using Z

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share