Molnar, Levente, Ezekiel, Jonathan, Veres, Sandor M., Lomuscio, Alessio R. and Pebody, Miles (2010) Formal Verification of the Autosub Autonomous Underwater Vehicle: a Case Study Southampton, GB. Engineering and Physical Sciences Research Council (Submitted)
Record type:
Monograph
(Project Report)
More information
Submitted date: 29 September 2010
Identifiers
Local EPrints ID: 164591
URI: http://eprints.soton.ac.uk/id/eprint/164591
PURE UUID: 232eb691-0514-46e1-9e88-61682c45685e
Catalogue record
Date deposited: 30 Sep 2010 09:11
Last modified: 14 Mar 2024 02:08
Export record
Contributors
Author:
Levente Molnar
Author:
Jonathan Ezekiel
Author:
Sandor M. Veres
Author:
Alessio R. Lomuscio
Author:
Miles Pebody
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.