Formal Methods and Discrete-Event Simulations - Archive ouverte HAL Access content directly
Conference Papers Year : 2016
Not file

Dates and versions

hal-03643337 , version 1 (15-04-2022)

Identifiers

  • HAL Id : hal-03643337 , version 1

Cite

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman. Formal Methods and Discrete-Event Simulations. JDF 2016 - LES JOURNÉES DEVS FRANCOPHONES - THÉORIE ET APPLICATIONS, 2016, Cargèse, France. ⟨hal-03643337⟩
5 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More