A Methodology for Model-based Development and Safety Analysis of Transport Systems.

Simon Hordvik, Kristoffer seth, Jan Olaf Blech, Peter Herrmann

Browse the full ENASE paper archive.