MetadatenAuthor: | Roberto Urban, Kai Lehniger, Maximilian Heyne, Mario Schölzel, Heinrich Theodor Vierhaus |
---|
ISBN: | 978-3-95404-637-9 |
---|
Title of the source (German): | MBMV 2014, Böblingen, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
---|
Publisher: | Cuvillier Verlag |
---|
Place of publication: | Göttingen |
---|
Document Type: | Conference Proceeding |
---|
Language: | German |
---|
Year of publication: | 2014 |
---|
First Page: | 101 |
---|
Last Page: | 112 |
---|
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Technische Informatik |
---|
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Technische Informatik |
---|