Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.

Robert Abo, Laurent Voisin

Browse the full SEFM paper archive.