Li, T., Tan, F., Wang, Q., Bu, L., Cao, J., & Liu, X. (2014). From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations. IEEE transactions on parallel and distributed systems, 25(3), 642-652. https://doi.org/10.1109/TPDS.2013.50
Chicago-Zitierstil (17. Ausg.)Li, Tao, Feng Tan, Qixin Wang, Lei Bu, Jian-Nong Cao, und Xue Liu. "From Offline Toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations." IEEE Transactions on Parallel and Distributed Systems 25, no. 3 (2014): 642-652. https://doi.org/10.1109/TPDS.2013.50.
MLA-Zitierstil (9. Ausg.)Li, Tao, et al. "From Offline Toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations." IEEE Transactions on Parallel and Distributed Systems, vol. 25, no. 3, 2014, pp. 642-652, https://doi.org/10.1109/TPDS.2013.50.