Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications |
| Publication status | Published - 7 Jul 2015 |
| Peer-reviewed | Yes |