Safety Analysis Based on Object-oriented Modelling of Critical Systems.

Janusz Grski, Bartosz Nowicki

Browse the full SAFECOMP paper archive.