J. Champeau

Object oriented and formal methods for AUV development

J. Champeau, P. Dhaussy, R. Moitie, 2000, OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158).

Robotic ocean vehicles for marine science applications: the European ASIMOV project

J. Gomes, V. Barroso, N. Seube, 2000, OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158).