A Formal Approach to Multi-UAV Route Validation


Wilkinson, Toby, Butler, Michael, Paxton, Martin and Waldron, Xanthippe (2015) A Formal Approach to Multi-UAV Route Validation At Fourth International Workshop on Formal Techniques for Safety-Critical Systems.

Download

[img] PDF FTSCS2015.pdf - Other
Download (181kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Fourth International Workshop on Formal Techniques for Safety-Critical Systems, 2015-11-06
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 384749
Date :
Date Event
6 November 2015Published
Date Deposited: 02 Dec 2015 16:29
Last Modified: 17 Apr 2017 04:41
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/384749

Actions (login required)

View Item View Item