http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png
On the Challenge of Sound Code for Operating Systems
Klimt, Jonathan Christoph (Corresponding author)RWTH* ; Kröning, Martin Werner (Corresponding author)RWTH* ; Lankes, Stefan (Corresponding author)RWTH* ; Monti, Antonello (Corresponding author)RWTH*
In
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, Seiten/Artikel-Nr: 83-90
2023
Konferenz/Event:12. Workshop on Programming Languages and Operating Systems
, Koblenz , Germany , PLOS 2023 , 2023-10-23 - 2023-10-23
Konferenz/Event:29. ACM Symposium on Operating Systems Principles
, Koblenz , Germany , SOSP 2023 , 2023-10-23 - 2023-10-26
ImpressumNew York, NY : Association for Computing Machinery
Umfang83-90
ISBN979-8-4007-0404-8
ReiheACM conferences
Weitere Reihe: ACM digital library
Online
DOI: 10.1145/3623759.3624554
10.1145/3623759.3624554
URL: https://publications.rwth-aachen.de/record/971812/files/971812.pdf
Einrichtungen
- Lehrstuhl für Automation of Complex Power Systems (616310)
- E.ON Energy Research Center (080052)
Projekte
- IoT-NGIN - Next Generation IoT as part of Next Generation Internet (957246) (957246)
- NEMO - Next Generation Meta Operating System (101070118) (101070118)
Fulltext:
PDF
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85177659698
WOS Core Collection: WOS:001250269600011
OpenAlex: W4387647328
Interne Identnummern
RWTH-2023-09815
Datensatz-ID: 971812
Beteiligte Länder
Germany
