Developing an ROV software control architecture: A formal specification approach.

Fabio Henrique de Assis, Fbio Kawaoka Takase, Newton Maruyama, Paulo Eigi Miyagi

Browse the full IECON paper archive.