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

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

System-analytic safety evaluation of the hydrogen cycle for energetic utilization

Hydrogen, energy, safety, risk, production, transport, storage, filling station, fuelcell

Robust learning in safety-related domains : machine learning methods for solving safety-related application problems

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

Optimal design for dose finding studies on safety and efficacy

Magdeburg, Univ., Fak. für Mathematik, Diss., 2009

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