Model-Based Safety Analysis of Mode Transitions.

Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktria Vozrov

Browse the full SAFECOMP paper archive.