Qualitative and quantitative formal model-based safety analysis : push the safety button

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Robuste Regelung flexibler mechanischer Strukturen mittels Quantitative Feedback Theory unter Nutzung konvexer und nicht-konvexer Optimierung

Robuste Regelung, Schwingungsregelung, Smart-Structures, Quantitative Feedback Theory, Optimierung

Die Kulturelle Bildung von Kindern und Jugendlichen am Stadttheater : eine quantitative und qualitative Betrachtung zur Relevanz des Stadttheaters für die Kulturelle Bildung am Beispiel des Anhaltischen Theaters Dessau

[s.c.]

Product-line specification and verification with feature-oriented contracts

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015

Einflussfaktoren auf das Verschreibungsverhalten von Hausärzten in Sachsen-Anhalt : eine qualitative und quantitative Analyse

Magdeburg, Univ., Med. Fak., Diss., 2015