Items where authors include "Jasim, O."
Jump to: Proceedings Paper
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