Logical Analysis of DEVS Models Using Z - Aix-Marseille Université Access content directly
Conference Papers Year : 2008
No file

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⟩
34 View
0 Download

Share

Gmail Facebook X LinkedIn More