VASCOAFADL14

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.

Contact

Yves Ledru
Akram Idani

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)