Vol-1336⫷ Vol-1337 ⫸Vol-1338
urn:nbn:de:0074-1337-0


Vol-1337/paper4⫷Vol-1337/paper5⫸Vol-1337/paper6
Rolf RossaintStefan KowalewskiRüdiger KoppAndré StollenwerkMarian WalterSteffen LeonhardtJan KühnNabil WardehPierre SchoonbroodChristian Brendle

Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver