Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems.

Drona Nagarajan, Tobias Scheipel, Marcel Baunach

Browse the full RTNS paper archive.