The Marriage Between Safety and Cybersecurity: Still Practicing

Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn. The Marriage Between Safety and Cybersecurity: Still Practicing. In Alfons Laarman, Ana Sokolova, editors, Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Volume 12864 of Lecture Notes in Computer Science, pages 3-21, Springer, 2021. [doi]

Authors

Mariëlle Stoelinga

This author has not been identified. Look up 'Mariëlle Stoelinga' in Google

Christina Kolb

This author has not been identified. Look up 'Christina Kolb' in Google

Stefano M. Nicoletti

This author has not been identified. Look up 'Stefano M. Nicoletti' in Google

Carlos E. Budde

This author has not been identified. Look up 'Carlos E. Budde' in Google

Ernst Moritz Hahn

This author has not been identified. Look up 'Ernst Moritz Hahn' in Google