A Formal Modeling Framework for Dependable and Portable Embedded Operating Systems

Martins Gomes, R. (Redner/in), Baunach, M. C. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Zeitraum21 Nov 2019
VeranstaltungstypKonferenz
OrtOsnabrück, Deutschland

Keywords

  • Information, Communication & Computing