Integrated short term navigation of a towed underwater body
Damy, G., Joannides, M., LeGland, F., Prevosto, M., Rakotozafy, R.
Published in Proceedings of OCEANS'94 (1994)
Published in Proceedings of OCEANS'94 (1994)
Get full text
Conference Proceeding
Using rewriting techniques to produce code generators and proving them correct
Despland, Annie, Mazaud, Monique, Rakotozafy, Raymond
Published in Science of computer programming (01.11.1990)
Published in Science of computer programming (01.11.1990)
Get full text
Journal Article