Developing an ROV software control architecture: A formal specification approach

Fabio Henrique de Assis, Fabio Kawaoka Takase, Newton Maruyama, Paulo Eigi Miyagi. Developing an ROV software control architecture: A formal specification approach. In 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012. pages 3107-3112, IEEE, 2012. [doi]

Authors

Fabio Henrique de Assis

This author has not been identified. Look up 'Fabio Henrique de Assis' in Google

Fabio Kawaoka Takase

This author has not been identified. Look up 'Fabio Kawaoka Takase' in Google

Newton Maruyama

This author has not been identified. Look up 'Newton Maruyama' in Google

Paulo Eigi Miyagi

This author has not been identified. Look up 'Paulo Eigi Miyagi' in Google