@conference{Padberg2018, Author = {J. Padberg and A. Schlaefer and S. Schupp}, Title = {Ein Ansatz zur nachvollziehbaren Verifikation medizinischcyber-physikalischer Systeme}, Journal = {Lecture Notes in Informatics}, Year = {2018}, Pages = {accepted}, Series = {Lecture Notes in Informatics (LNI)}, Address = {Bonn}, Booktitle = {Tagung Software Engineering (SE18) der Gesellschaft für Informatik (GI)}, Organization = {Gesellschaft für Informatik, Bonn}, Abstract = {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 2018-4-22 with typo3 si_bibtex plugin. Data from /mtec/publications/2017-2013.html }