Wilkinson, Toby, Butler, Michael, Paxton, Martin and Waldron, Xanthippe (2015) A Formal Approach to Multi-UAV Route Validation. Fourth International Workshop on Formal Techniques for Safety-Critical Systems.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 6 November 2015
Venue - Dates:
Fourth International Workshop on Formal Techniques for Safety-Critical Systems, 2015-11-06
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 384749
URI: http://eprints.soton.ac.uk/id/eprint/384749
PURE UUID: 74a5aeb9-f6ac-4120-91aa-0001fbf7ea94
Catalogue record
Date deposited: 02 Dec 2015 16:29
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Toby Wilkinson
Author:
Michael Butler
Author:
Martin Paxton
Author:
Xanthippe Waldron
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.