
Verkehr / Hardware/Software-Entwurfsmethodik
Designmethodik HW-/SW-Systeme
O25
+49 441 9722-158
daniel.lorenz [ A T ]
offis.de
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Lorenz, Daniel; Hartmann, Philipp A.; Grüttner, Kim; Rettberg, Achim
2012
The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2011)
Kamenik, Jens; Peuser, Christoph; Gollücke, Volker; Lorenz, Daniel; Piechocki, Roland; Wasmann, Merlin; Oliver, Theel
2011