A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks.

Zh Hu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza

Browse the full ICECCS paper archive.