Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - Archive ouverte HAL Access content directly
Conference Papers Year : 2019
Not file

Dates and versions

hal-03264353 , version 1 (18-06-2021)

Identifiers

Cite

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben ayed, Simon Collart-Dutilleul. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs. International Conference on Formal Methods for Industrial Critical Systems (FMICS), 2019, Amsterdam, Netherlands. pp.93-109, ⟨10.1007/978-3-030-27008-7_6⟩. ⟨hal-03264353⟩
22 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More