Cite
HARVARD Citation
Sakata, K. et al. (2023). Model verification of fallback control system under cyberattacks via UPPAAL. Advanced robotics. pp. 156-168. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Sakata, K. et al. (2023). Model verification of fallback control system under cyberattacks via UPPAAL. Advanced robotics. pp. 156-168. [Online].