Tool Supported Model-Based Safety Analysis and Optimization.

Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier

Browse the full PRDC paper archive.