Formal modeling of cyber-physical resource scheduling in IIoT cloud environments

2019 ◽  
Vol 31 (5) ◽  
pp. 1149-1164 ◽  
Author(s):  
Shashi Bhushan Jha ◽  
Radu F. Babiceanu ◽  
Remzi Seker
2011 ◽  
Vol 22 (11) ◽  
pp. 2698-2715 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Li-Zhong TU ◽  
Yi ZHU

2012 ◽  
Vol 23 (7) ◽  
pp. 1702-1716 ◽  
Author(s):  
Tie-Qing DENG ◽  
Gen-Quan REN ◽  
Ying-Bo LIU

2009 ◽  
Vol 29 (10) ◽  
pp. 2635-2637
Author(s):  
Ke-jun BI ◽  
Fu-hai DUAN ◽  
Man-fu MA

Sign in / Sign up

Export Citation Format

Share Document