Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Mapping Safety Properties for Embedded Control Applications to Certifiably Correct Implementations

2014

Erscheinungsjahr: 2014

Publikationstyp: Diverses

Sprache: Englisch

Geprüft:Bibliothek

Autoren

Zöbel, Dieter (Autor)
Stahlhofen, Andreas (Autor)

Beteiligte Einrichtungen

Logo Universität Koblenz
Logo Universität Koblenz