Verifying Mode Consistency for On-Board Satellite Software.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Visnen, Dubravka Ilic, Timo Latvala

Browse the full SAFECOMP paper archive.