12. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Event name
12. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Start date
02-03-2009
End date
04-03-2009
Location
Berlin
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Rafaila, Monika ; Decker, Christian ; Grimm, Christoph ; Einwich, Karsten ; Markwirth, Torsten ; Pelz, Georg | New Methods for System-level Verification using SystemC-AMS extensions: Application to an Automotive ECU | Konferenzbeitrag Inproceedings  | 2009 |