@inproceedings{mci/Padberg2018,
author = {J. Padberg and A. Schlaefer and S. Schupp},
title = {Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme.},
year = {2018},
pages = {209-210},
editor = {In M. Tichy and E. Bodden and M. Kuhrmann and S. Wagner and  J.-P. Steghöfer (Eds.)},
publisher = {Gesellschaft für Informatik:},
address = {Bonn},
booktitle = {Software Engineering und Software Management 2018},
abstract = {Medizinische cyberphysikalische Systeme erfordern einerseits die Adaption an patientenindividuelle Parameter während einer Behandlung und andererseits den Nachweis eines sicheren Systemverhaltens. Wir schlagen vor, Nachweisbarkeit mittels Online Model-Checking und Nachvollziehbarkeit durch Anwendung von regelbasierten Transformationen zu verbinden.}
}

@COMMENT{Bibtex file generated on 2026-6-28 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/mtec/publications/2019-2013 }