Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Event name
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Start date
22-02-2010
End date
24-02-2010
Location
Dresden
Country
Event format Veranstaltungsformat
On Site
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 |