Safety-Critical Software Development in C++

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn 0001, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand. Safety-Critical Software Development in C++. In António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira 0001, editors, Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Volume 12235 of Lecture Notes in Computer Science, pages 98-110, Springer, 2020. [doi]

Authors

Daniel Kästner

This author has not been identified. Look up 'Daniel Kästner' in Google

Christoph Cullmann

This author has not been identified. Look up 'Christoph Cullmann' in Google

Gernot Gebhard

This author has not been identified. Look up 'Gernot Gebhard' in Google

Sebastian Hahn 0001

This author has not been identified. Look up 'Sebastian Hahn 0001' in Google

Thomas Karos

This author has not been identified. Look up 'Thomas Karos' in Google

Laurent Mauborgne

This author has not been identified. Look up 'Laurent Mauborgne' in Google

Stephan Wilhelm

This author has not been identified. Look up 'Stephan Wilhelm' in Google

Christian Ferdinand

This author has not been identified. Look up 'Christian Ferdinand' in Google