• search hit 64 of 65
Back to Result List

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Dirk Beyer
URN:urn:nbn:de:kobv:co1-000000258
URL:http://opus.kobv.de/btu/volltexte/2007/55/
Document Type:Doctoral thesis
Language:German
Year of publication:2002
Tag:BDD; Embedded Systems; Formal Method; Formal Verification; Protocol Verification; Reachability Analysis; Reactive Systems; Timed Automata
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Praktische Informatik / Softwaresystemtechnik
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Software-Systemtechnik
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.