From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu. From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP). In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 13-22, IEEE, 2012. [doi]

Abstract is missing.

runs on WebDSL