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.
@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}
}
Charger la référence EndNote (.ref)