Formal Methods for Residual Risk Reduction in Cyber-Physical Systems.

David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa

Browse the full QRS paper archive.