Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.

Fevzi Belli, Axel Hollmann, Nimal Nissanke

Browse the full SAFECOMP paper archive.