Po-Liang Wu, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman. Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems. In 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015. pages 464-471, IEEE, 2015. [doi]
Abstract is missing.