The software for verification of underwater vehicle missions.
Vladimir F. FilaretovDmitry YukhimetsValentin E. PryanichnikovEduard MursalimovPublished in: IDAACS (2013)
Keyphrases
- underwater vehicles
- software development
- computer simulation
- model checking
- fault identification
- space exploration
- software platform
- case study
- software systems
- software architecture
- software design
- hardware designs
- neural network
- hardware design
- formal methods
- software projects
- object oriented
- user interface
- information systems