Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools.

Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte

Browse the full FMICS paper archive.