Temporal properties in automotive control software.

Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, Rolf Ernst

Browse the full RTNS paper archive.