A Formal Modeling Framework for Dependable and Portable Embedded Operating Systems

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Zeitraum21 Nov. 2019
EreignistitelHerbsttreffen der Fachgruppen des GI-Fachbereichs Betriebssysteme, Kommunikationssysteme und verteilte Systeme: Von robusten Systemen zu robusten Netzen
VeranstaltungstypKonferenz
OrtOsnabrück, DeutschlandAuf Karte anzeigen

Fields of Expertise

  • Information, Communication & Computing