System Verification of Autonomous Underwater Vehicles by Model Checking (2009)
Attributed to:
METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://eprints.soton.ac.uk/71622/
Type: Conference/Paper/Proceeding/Abstract
Volume: 1
Issue: 1