Runtime Verification of AUTOSAR Timing Extensions.

Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma

Browse the full RTNS paper archive.