A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design

Chao Wang, Li Wan, Tifan Xiong, Yuanlong Xie, Shuting Wang. A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design. IEEE Access, 9:40388-40401, 2021. [doi]

Abstract

Abstract is missing.