Formal Development and Assessment of a Reconfigurable On-Board Satellite System

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

18 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationComputer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
EditorsF Ortmeier, P Daniel
PublisherSpringer
Pages210–222
ISBN (Electronic)978-3-642-33678-2
ISBN (Print)978-3-642-33677-5
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
EventInternational conference on Computer Safety, Reliability, and Security, SAFECOMP - 31st International Conference on Computer Safety, Reliability, and Security , SAFECOMP 2012
Duration: 25 Sep 201228 Sep 2012

Conference

ConferenceInternational conference on Computer Safety, Reliability, and Security, SAFECOMP
Period25/09/1228/09/12

Cite this