A Model Based Approach for Safety Analysis.

Fabien Belmonte, Elie Soubiran

Browse the full SAFECOMP paper archive.