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
Publisher: Engineering and Physical Sciences Research Council
URI: http://eprints.soton.ac.uk/id/eprint/164591

Actions (login required)

View Item View Item