Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaire. In Actes de la Conférence AFADL'14: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 1-15, Paris, 2014.
@InProceedings{VASCOAFADL14,
Author = {Ben Ayed, Rahma and Collart Dutilleul, Simon and Bon, Philippe and Ledru, Yves and Idani, Akram},
Title = {{M}odélisation et validation formelle des règles d'exploitation ferroviaire},
BookTitle = {{A}ctes de la {C}onférence {{AFADL}'14}: {A}pproches {F}ormelles dans l'{A}ssistance au {D}éveloppement de {L}ogiciels},
Pages = {1--15},
Publisher = {hal-00997676},
Address = {Paris},
Year = {2014}
}
Charger la référence EndNote (.ref)