7 records found
1
Empirical integrity verification of GNSS and SBAS based on the extreme value theory
Verifying EGNOS integrity in practice: GIMATa tool based on statistical extreme value theory
The MECA project- Ontology-based design of human-machine collaboration in manned space missions
The mission execution crew assistant
ESPRIT - A far-infrared space interferometer
A model-based approach to fault diagnosis of embedded systems
SCOPE: an intelligent maintenance system for supporting crew operations