Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Ball Thomas, Sagiv Mooly
Buchtitel: Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages
Seitenbereich: 93-104
Verlag: ACM Press
Status: Veröffentlicht
Veröffentlichungsjahr: 2011 (31.12.2010)
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 38th Annual ACM Symposium on Principles of Programming Languages (POPL 2011), Austin, Texas, USA, undefined
ISBN: 978-1-4503-0490-0
Autor*innen der Universität Münster
| Lammich, Peter | Institut für Informatik |
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |