Prof.
Markus
Siegle
: Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme,
Laufzeit: 01.10.2009 -
31.07.2014,
Drittmittelgeber: DFG

Prof.
Markus
Siegle
: Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS),
Laufzeit: 01.09.2009 -
31.08.2012,
Drittmittelgeber: DFG

Rohde, Ulrich L.:
Synthesizer Design for Microwave Applications
. In: Technical digest 1999,
1999

Vortrag / Presentation