VASCOABZ14

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.), LNCS, Volume 8477, Pages 124-129, 2014.

Contact

Akram Idani
Yves Ledru

BibTex Reference

@InProceedings{VASCOABZ14,
   Author = {Ben Ayed, Rahma and Collart Dutilleul, Simon and Bon, Philippe and Idani, Akram and Ledru, Yves},
   Title = {{B} {F}ormal {V}alidation of {ERTMS}/{ETCS} {R}ailway {O}perating {R}ules},
   BookTitle = {4th {I}nternational {C}onference on {A}bstract {S}tate {M}achines, {A}lloy, {B}, {TLA}, {VDM}, and {Z}},
   editor = {Aït Ameur, Yamine and Schewe, Klaus-Dieter},
   Volume = {8477},
   Pages = {124--129},
   Series = {LNCS},
   Publisher = {Springer},
   Year = {2014}
}

EndNote Reference [help]

Get EndNote Reference (.ref)