Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Proceedings Paper

Jasim, O. and Veres, S.M. (2018) Formal verification of quadcopter flight envelop using theorem prover. In: Proceedings of 2018 IEEE Conference on Control Technology and Applications (CCTA). 2nd IEEE Conference on Control Technology and Applications (CCTA 2018), 21-24 Aug 2018, Copenhagen, Denmark. IEEE , pp. 1502-1507. ISBN 978-1-5386-7698-1

This list was generated on Sat Oct 19 22:57:14 2019 BST.