Login / Signup
Verifying Mode Consistency for On-Board Satellite Software.
Alexei Iliasov
Elena Troubitsyna
Linas Laibinis
Alexander B. Romanovsky
Kimmo Varpaaniemi
Pauli Väisänen
Dubravka Ilic
Timo Latvala
Published in:
SAFECOMP (2010)
Keyphrases
</>
software development
software systems
remote sensing
software tools
software package
software maintenance
software design
image analysis
computer systems
test cases
model checking
software architecture
computer software
commercial software
orbit determination