Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
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 |