Padberg, JuliaJuliaPadbergSchlaefer, AlexanderAlexanderSchlaeferSchupp, SibylleSibylleSchupp2019-12-132019-12-132018-03Software Engineering (SE) 2018http://hdl.handle.net/11420/4103Medizinische 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.dehttps://creativecommons.org/licenses/by-nc/3.0/SoftwaretechnikVerifikationMedizintechnikMCPSPatient-in-the-LoopEchtzeitInformatikPhysikMedizinConference Paperhttps://dl.gi.de/handle/20.500.12116/2116810.15480/882.2667