Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019
Fichier non déposé

Dates et versions

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

Identifiants

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⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More