Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
PublikationsstatusVeröffentlicht - 7 Juli 2015
Peer-Review-StatusJa