Temporal properties in automotive control software

Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, Rolf Ernst. Temporal properties in automotive control software. In Enrico Bini, Claire Pagetti, editors, Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017. pages 98-107, ACM, 2017. [doi]

Abstract

Abstract is missing.