Armelle Prigent

Joel Champeau, Philippe Dhaussy, Roderic Moitie, Armelle Prigent; Object oriented and formal methods for AUV development, Proceedings of MTS/IEEE OCEANS'00 Conference, pp. 73 - 78, September 2000.