KMUi- Verbundprojekt: Formal verifizierte Virtualisierung für sicherheitskritische Anwendungen - VERSECLOUD; Teilvorhaben: Framework für die formale Verifikation und Synthese von Treibern für sicherheitskritische Anwendungen
Loading...
Date
Authors
Volume
Issue
Journal
Series Titel
Book Title
Publisher
Hannover : Technische Informationsbibliothek
Link to publishers version
Abstract
[no abstract available]
Datei-Upload durch TIB
Description
Keywords
License
Creative Commons Attribution-NonDerivs 3.0 Germany