INRETS experience of the highly critical software validation of the MAGGALY subway.

Anna Stuparu, Patrick Ozello, Franois Baranowski

Browse the full ISSRE paper archive.