Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2007
|
Synthese zuverlässiger und flexibler Systeme
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2013
|
Symbolic system synthesis using answer set programming
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2011
|
Symbolic system synthesis in the presence of stringent real-time constraints
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Symbolic scheduling of systemC dataflow designs
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2008
|
Symbolic reliability analysis of self-healing networked embedded systems
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2008
|
Symbolic reliability analysis and optimization of ECU networks
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2008
|
Symbolic quasi-static scheduling of actor-oriented systemC models
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2015
|
Switching time optimization for discontinuous switched systems
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2014
|
Switching losses mechanisms of unipolar devices with large parasitic capacitances
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2006
|
Switching feedback mechanisms realize the dual role of MCIP in the regulation of calcineurin activity
|
Zeitschriftenartikel
|
Druckschrift
|