Formal Development and Assessment of a Reconfigurable On-board Satellite System.

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

Browse the full SAFECOMP paper archive.