Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems

Drona Nagarajan, Tobias Scheipel, Marcel Carsten Baunach

Research output: Contribution to conference › Paper › peer-review

Fingerprint

Dive into the research topics of 'Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems'. Together they form a unique fingerprint.

Computer Science