A model-based architecture for testing medical cyber-physical systems.

Lenardo Chaves e Silva, Mirko Perkusich, Frederico M. Bublitz, Hyggo O. Almeida, Angelo Perkusich

Browse the full SAC paper archive.