Proceedings of the 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Book title Buchtitel
Proceedings of the 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Ou, Jiong ; Brunmayr, Peter ; Haase, Jan ; Grimm, Christoph | Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen | Konferenzbeitrag Inproceedings | 2010 |