Optimized hybrid verification of embedded software

DSpace Repository

Optimized hybrid verification of embedded software

Author: Behrend, Jörg
Tübinger Autor(en):
Behrend, Jörg
Other Contributors: Eberhard Karls Universität Tübingen
Issue year: 2017
Verlagsangabe: Tübingen
Language: English
Dokumentart: PhDThesis
Pages: xvii, 111 Seiten : Illustrationen
Reference: 494196823
Note: Dissertation, Eberhard Karls Universität Tübingen, 2017
Show full item record

This item appears in the following Collection(s)