Conference Papers
Year : 2019
Akram Idani : Connect in order to contact the contributor
https://hal.science/hal-03264353
Submitted on : Friday, June 18, 2021-10:25:02 AM
Last modification on : Monday, March 13, 2023-10:58:15 AM
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⟩
Collections
22
View
0
Download