Stem envisat$ (all stems)
2 papers:
- AdaEurope-1995-DaviesR #ada
- The Use of Ada for the ENVISAT-1 Simulator (BD, DAR), pp. 170–177.
- AdaEurope-1994-FrancolaM #realtime #validation
- Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter (SF, MM), pp. 270–281.