Documents 10th Brasilian Symposium on Formal Methods August 31 2007, Ouro Preto

Formal Methods in Safety-Critical Railway Systems Thierry Lecomte Thierry Servat Guilhem Pouzancre 10th Brasilian Symposium on Formal Methods August 31 2007, Ouro Preto ClearSy…