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

maintenance model for systems with phase-type distributed times to failure

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

Assessing the role of Piccolo and Bassoon zinc finger domains on synapse vesicle recycling and maintenance

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2013