A Formal Modeling Approach for Portable Low-Level OS Functionality

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelSEFM2020
PublikationsstatusAngenommen/In Druck - Sep 2020
Veranstaltung18th International Conference on Software Engineering and Formal Methods - Virtuell
Dauer: 14 Sep 202018 Sep 2020

Konferenz

Konferenz18th International Conference on Software Engineering and Formal Methods
KurztitelSEFM 2020
OrtVirtuell
Zeitraum14/09/2018/09/20

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren