S. Francola, M. Manigrasso. Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter. In Marcel Toussaint, editor, Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Volume 887 of Lecture Notes in Computer Science, pages 270-281, Springer, 1994.
Abstract is missing.