Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza. A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 117-122, IEEE, 2022. [doi]
Abstract is missing.