Publication:
Verifying Mode Consistency for On-Board Satellite Software (2010)
Author(s): Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T
- Date: 14-17 September 2010
- Conference Name: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
- Volume: 6351
- Pages: 126-141
- Publisher: Springer
- Publication type: Conference Proceedings (inc. abstract)
- Bibliographic status: Published
Keywords: