Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions

Xiaoying Chen, Yi Zhu, Yu Zhao, Jinyong Wang, Anarbekov Altynbek. Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions. IEEE Access, 9:99539-99551, 2021. [doi]

Abstract

Abstract is missing.