creators_name: Tarasyuk, Anton
creators_name: Pereverzeva, Inna
creators_name: Troubitsyna, Elena
creators_name: Latvala, Timo
creators_name: Nummila, Laura
creators_id: Anton.Tarasyuk@abo.fi
creators_id: Inna.Pereverzeva@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
type: conference_item
datestamp: 2012-06-29 07:55:23
lastmod: 2012-06-29 07:55:23
metadata_visibility: show
title: Formal development and assessment of a reconfigurable on-board satellite system
ispublished: inpress
subjects: Refinement
subjects: deploy_industrial_space
subjects: deploy_method_proof
subjects: deploy_method_resil
subjects: examples
subjects: theory
full_text_status: none
pres_type: paper
date: 2012
date_type: submitted
event_title: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012)
event_location: Magdeburg, Germany
event_type: conference
refereed: TRUE
citation:   Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura  (2012) Formal development and assessment of a reconfigurable on-board satellite system.  In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany.    (In Press)  

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>