%0 Conference Paper %1 conf/fmics/IdaniLWAD19 %A Idani, Akram %A Ledru, Yves %A Wakrime, Abderrahim Ait %A Ayed, Rahma Ben %A Dutilleul, Simon Collart %B FMICS %D 2019 %E Larsen, Kim Guldstrand %E Willemse, Tim A. C. %I Springer %K dblp %P 93-109 %T Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#IdaniLWAD19 %V 11687 %@ 978-3-030-27008-7

@inproceedings{conf/fmics/IdaniLWAD19, added-at = {2019-08-23T00:00:00.000+0200}, author = {Idani, Akram and Ledru, Yves and Wakrime, Abderrahim Ait and Ayed, Rahma Ben and Dutilleul, Simon Collart}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2220b08e470d2aa779c205fd4e367959d/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2019}, editor = {Larsen, Kim Guldstrand and Willemse, Tim A. C.}, ee = {https://doi.org/10.1007/978-3-030-27008-7_6}, interhash = {57837dc1b9648d72102177eba7ae6b0d}, intrahash = {220b08e470d2aa779c205fd4e367959d}, isbn = {978-3-030-27008-7}, keywords = {dblp}, pages = {93-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:34.000+0200}, title = {Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#IdaniLWAD19}, volume = 11687, year = 2019 }