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 |