DN
Publications
- Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems
- Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems
Usage metrics
Co-workers & collaborators
- MB
Marcel Baunach
- TS
Tobias Scheipel
Marcel Baunach
Tobias Scheipel