Publikationen (272)
Safety Assessment of Autonomous Cars using Verification Techniques (2007)
Althoff, M.; Stursberg, O.; Buss, M.
Beitrag in einem TagungsbandSafety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous Vehicles (2009)
Althoff, M.; Stursberg, O.; Buss, M.
Beitrag in einem TagungsbandSafety Scanning: An approach to include safety into managerial decision making (PSYNDEXshort) (2012)
Sträter, O.; Athanassiou, G.; Arenius, M.
Beitrag in einem TagungsbandSaftfutter unterdrückt pathogene Mikroflora im Darm von Mastschweinen (2011)
Marien, C.; Sundrum, A.
Beitrag in einem TagungsbandSanitary landfilling - A key component of waste management in transition economies (2009)
Fellner, J.; Laner, D.; Lederer, J.; Brunner, P.
Beitrag in einem TagungsbandSC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces (2017)
Seiler, W.
Beitrag in einem TagungsbandScenario-based model predictive operation control of islanded microgrids (2015)
Hans, C.; Sopasakis, P.; Bemporad, A.; Raisch, J.; Reincke-Collon, C.
Beitrag in einem TagungsbandSchemes for Efficient QW Pumping of AlGaInP Disk Lasers (2017)
Kahle, H.
Beitrag in einem TagungsbandSchichtenmodell für die verteilte Nutzung modellgestützter Verfahren (2000)
Wenzel, S.; Jessen, U.; Rittscher, J.; Scholz, I.
Beitrag in einem TagungsbandSchlauchflöße und Schwimmschläuche an Euphrat und Tigris in der römischen Kaiserzeit (2013)
Ruffing, K.; Rollinger, R.
Beitrag in einem Tagungsband