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

Sun, 01 Jan 2012 00:00:00 +0100

Fabio Henrique de Assis, Fábio Kawaoka Takase , Newton Maruyama, Paulo Eigi Miyagi :
Developing an ROV software control architecture: A formal specification approach. IECON 2012: 3107-3112