Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems.

Fbio Luiz Leite Jr., Rasmus Adler, Patrik Feth

Browse the full SAFECOMP paper archive.