面向服务的信息物理融合系统建模与验证

面向服务的信息物理融合系统建模与验证

刘明星马武彬邓苏黄宏斌

Modeling and verification of services oriented cyber physical systems

LIU Mingxing MA Wubin DENG Su HUANG Hongbin

计算机应用 . 2014, (6): 1770 -1773 . DOI: 10.11772/j.issn.1001-9081.2014.06.1770