Cite
HARVARD Citation
Bernardeschi, C. et al. (2023). Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Computer journal. pp. 295-317. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Bernardeschi, C. et al. (2023). Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Computer journal. pp. 295-317. [Online].