![](/img/cover-not-exists.png)
From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations
Tao Li,, Feng Tan,, Qixin Wang,, Lei Bu,, Jian-Nong Cao,, Xue Liu,Volume:
25
Language:
english
Journal:
IEEE Transactions on Parallel and Distributed Systems
DOI:
10.1109/tpds.2013.50
Date:
March, 2014
File:
PDF, 1.49 MB
english, 2014