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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 |
| Item ID: | 164591 |
| Date Deposited: | 30 Sep 2010 09:11 |
| Last Modified: | 08 Jun 2012 12:58 |
| Contributors: | Molnar, Levente (Author) Ezekiel, Jonathan (Author) Veres, Sandor M. (Author) Lomuscio, Alessio R. (Author) Pebody, Miles (Author) |
| Date: | 29 September 2010 |
| Status: | Submitted |
| Publisher: | Engineering and Physical Sciences Research Council |
| URI: | http://eprints.soton.ac.uk/id/eprint/164591 |
Actions (login required)
 |
View Item |
