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

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

doi:10.1007/978-3-642-33678-2_18

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/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

24 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Redaktörer	F Ortmeier, P Daniel
Förlag	Springer
Sidor	210–222
ISBN (elektroniskt)	978-3-642-33678-2
ISBN (tryckt)	978-3-642-33677-5
DOI	https://doi.org/10.1007/978-3-642-33678-2_18
Status	Publicerad - 2012
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International conference on Computer Safety, Reliability, and Security, SAFECOMP - 31st International Conference on Computer Safety, Reliability, and Security , SAFECOMP 2012 Varaktighet: 25 sep. 2012 → 28 sep. 2012

Konferens

Konferens	International conference on Computer Safety, Reliability, and Security, SAFECOMP
Period	25/09/12 → 28/09/12

Åtkomst av dokument

10.1007/978-3-642-33678-2_18

Citera det här

Tarasyuk, A., Pereverzeva, I., Troubitsyna, E., Latvala, T., & Nummila, L. (2012). Formal Development and Assessment of a Reconfigurable On-Board Satellite System. I F. Ortmeier, & P. Daniel (Red.), Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings (s. 210–222). Springer. https://doi.org/10.1007/978-3-642-33678-2_18

@inproceedings{7539bc9f546e4e15b3cd7cd206ba6b79,

title = "Formal Development and Assessment of a Reconfigurable On-Board Satellite System",

author = "Anton Tarasyuk and Inna Pereverzeva and Elena Troubitsyna and Timo Latvala and Laura Nummila",

year = "2012",

doi = "10.1007/978-3-642-33678-2\_18",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-33677-5",

pages = "210–222",

editor = "F Ortmeier and P Daniel",

booktitle = "Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings",

publisher = "Springer",

note = "International conference on Computer Safety, Reliability, and Security, SAFECOMP ; Conference date: 25-09-2012 Through 28-09-2012",

}

Tarasyuk, A, Pereverzeva, I, Troubitsyna, E, Latvala, T & Nummila, L 2012, Formal Development and Assessment of a Reconfigurable On-Board Satellite System. i F Ortmeier & P Daniel (red), Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Springer, s. 210–222, International conference on Computer Safety, Reliability, and Security, SAFECOMP, 25/09/12. https://doi.org/10.1007/978-3-642-33678-2_18

Formal Development and Assessment of a Reconfigurable On-Board Satellite System. / Tarasyuk, Anton; Pereverzeva, Inna; Troubitsyna, Elena et al.
Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. red. / F Ortmeier; P Daniel. Springer, 2012. s. 210–222.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

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

AU - Tarasyuk, Anton

AU - Pereverzeva, Inna

AU - Troubitsyna, Elena

AU - Latvala, Timo

AU - Nummila, Laura

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-33678-2_18

DO - 10.1007/978-3-642-33678-2_18

M3 - Publicerad konferensartikel

SN - 978-3-642-33677-5

SP - 210

EP - 222

BT - Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

A2 - Ortmeier, F

A2 - Daniel, P

PB - Springer

T2 - International conference on Computer Safety, Reliability, and Security, SAFECOMP

Y2 - 25 September 2012 through 28 September 2012

ER -

Tarasyuk A, Pereverzeva I, Troubitsyna E, Latvala T, Nummila L. Formal Development and Assessment of a Reconfigurable On-Board Satellite System. I Ortmeier F, Daniel P, redaktörer, Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Springer. 2012. s. 210–222 doi: 10.1007/978-3-642-33678-2_18