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 : jeudi 4 avril 2024-20:54:28
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
22
Consultations
0
Téléchargements