Vol-506⫷ Vol-507 ⫸Vol-508
urn:nbn:de:0074-507-0


Vol-507/paper-3⫷Vol-507/paper-4⫸Vol-507/paper-5
Huáscar EspinozaFabien BelmonteFrançois TerrierArnaud CuccuruDaniela CancilaHubert DuboisSébastien Gérard

SOPHIA: a Modeling Language for Model-Based Safety Engineering