Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul

Browse the full FMICS paper archive.