Autor/in Schlaefer, Alexander Schupp, Sibylle Adam, Gerhard 1 Antoni, Sven-Thomas 1 Fehrs, Kai 1 Kording, Fabian 1 Lehmann, Sascha 1 Neidhardt, Maximilian 1 Padberg, Julia 1 Ruprecht, Christian 1 alle zeigenListe einklappen
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme Padberg, Julia Schlaefer, Alexander Schupp, Sibylle 2018 - TUHH Open Research - frei zugänglich
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI Antoni, Sven-Thomas Lehmann, Sascha Neidhardt, Maximilian Fehrs, Kai Ruprecht, Christian Kording, Fabian Adam, Gerhard 2018 - TUHH Open Research