Formal Verification of the Autosub Autonomous Underwater Vehicle: a Case Study


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)

Download

[img] PDF (EPSRC Project Interim Progress Report)
Download (592Kb)
Item Type: Monograph (Project Report)
Subjects: T Technology > TA Engineering (General). Civil engineering (General)
V Naval Science > V Naval Science (General)
Divisions: University Structure - Pre August 2011 > School of Engineering Sciences > Electro-Mechanical Engineering
ePrint ID: 164591
Date Deposited: 30 Sep 2010 09:11
Last Modified: 27 Mar 2014 19:17
URI: http://eprints.soton.ac.uk/id/eprint/164591

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics