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

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    19 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationComputer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
    RedaktörerF Ortmeier, P Daniel
    FörlagSpringer
    Sidor210–222
    ISBN (elektroniskt)978-3-642-33678-2
    ISBN (tryckt)978-3-642-33677-5
    DOI
    StatusPublicerad - 2012
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational conference on Computer Safety, Reliability, and Security, SAFECOMP - 31st International Conference on Computer Safety, Reliability, and Security , SAFECOMP 2012
    Varaktighet: 25 sep 201228 sep 2012

    Konferens

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

    Citera det här