Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems

Albert Mo Kim Cheng, Ramesh S. Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems. Embedded Systems Letters, 6(1):2-3, 2014. [doi]

Abstract

Abstract is missing.