Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle

Open in new window