Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2007
|
Formalizing TLM with communicating state machines
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2007
|
Berufsorientierende Projekte mit Jugendlichen
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2013
|
Special challenges for models and patterns in smart environments
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2013
|
Tuning an HCI curriculum for master students to address interactive critical systems aspects
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2013
|
Formal pattern specifications to facilitate semi-automated user interface generation
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2007
|
Lessons learned from implementing the devices profile for web services
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2007
|
Minimizing leakage
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2007
|
Synthese zuverlässiger und flexibler Systeme
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2007
|
System level modeling and performance simulation for dynamic reconfigurable computing systems in systemC
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2007
|
DLS
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|