Methods and tools to the verification of safety-related control software
Mertke, T., Menzel, T.
Published in Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0 (2000)
Published in Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0 (2000)
Get full text
Conference Proceeding
Frühzeitige Tracheotomie bei COVID-19-Patienten – eine retrospektive Analyse und mathematische Risikoabschätzung
Mertke, T., Danziger, G., Mang, S., Becker, A., Metz, C., Raddatz, A., Westheider, A., Wehrfritz, H., D.Horn, Muellenbach, R.M., Volk, T., Bals, R., Seiler, F., Lepper, P.M.
Published in Intensiv- und Notfallbehandlung (01.10.2022)
Published in Intensiv- und Notfallbehandlung (01.10.2022)
Get full text
Journal Article
Frühzeitige Tracheotomie bei COVID-19-Patienten – eine retrospektive Analyse und mathematische Risikoabschätzung
Mertke, T, Danziger, G, Mang, S, Becker, A, Metz, C, Raddatz, A, Westheider, A, Wehrfritz, H, DHorn, Muellenbach, R M, Volk, T, Bals, R, Seiler, F, Lepper, P M
Published in Intensiv- und Notfallbehandlung (01.01.2022)
Published in Intensiv- und Notfallbehandlung (01.01.2022)
Get full text
Journal Article