Design and implementation of a safety-critical domain specific language for on-board train control.

Alexandre Betis, Clment Dransart, Christophe Lechevalier, Jrme Magouet, Patrick Viry, Insa Fuhrmann, Johannes Meier

Browse the full FDL paper archive.