Now showing items 1-1 of 1
Palomeras Rovira, Narcís (Date of defense: 2011-12-19)
The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design ...