Ensuring Safety with System Level Formal Modelling.

Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier

Browse the full ISoLA paper archive.