"Dependability Verification of Nanosatellite Embedded Software Supported by ..."

Carlos A. P. L. Conceicao, Fátima Mattiello-Francisco, Carlos L. G. Batista (2016)

Details and statistics

DOI: 10.1109/LADC.2016.33

access: closed

type: Conference or Workshop Paper

metadata version: 2024-02-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics