“Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”
From Navigators
in FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, M. Lumpe and L. S. Barbosa (Eds.), Guimarães, Portugal, Oct. 2010, pp. 253-254., Oct. 2010.
Abstract: —
Download paper
Export citation
Project(s): Project:AIR-II
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)