Communication Dans Un Congrès
Année : 2019
Akram Idani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03264353
Soumis le : vendredi 18 juin 2021-10:25:02
Dernière modification le : lundi 13 mai 2024-10:28:08
Citer
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
24
Consultations
0
Téléchargements