Verifying Mode Consistency for On-Board Satellite Software

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_10 ◽

2010 ◽

pp. 126-141 ◽

Author(s):

Alexei Iliasov ◽

Elena Troubitsyna ◽

Linas Laibinis ◽

Alexander Romanovsky ◽

Kimmo Varpaaniemi ◽

...

Download Full-text