Optimized hybrid verification of embedded software

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor Eberhard Karls Universität Tübingen de_DE
dc.contributor.author Behrend, Jörg de_DE
dc.date.accessioned 2017-11-16T12:35:45Z
dc.date.available 2017-11-16T12:35:45Z
dc.date.issued 2017 de_DE
dc.identifier.uri http://hdl.handle.net/10900/78654
dc.language.iso en
dc.publisher Tübingen de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.title Optimized hybrid verification of embedded software de_DE
dc.type PhDThesis de_DE
utue.artikel.swb 494196823 de_DE
utue.kommentar.intern Dissertation, Eberhard Karls Universität Tübingen, 2017 de_DE
utue.personen.pnd Behrend, Jörg/494196785 de_DE
utue.personen.roh Behrend, Jörg de_DE
utue.publikation.seitengesamt xvii, 111 Seiten : Illustrationen de_DE
utue.titel.verfasserangabe vorgelegt von Dipl.-Inform. Jörg Behrend de_DE
utue.publikation.abrufzeichen tdis de_DE
utue.publikation.swbdatum 1710 de_DE
utue.publikation.fachbereich 57 de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige