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: