Carlos A. P. L. Conceicao, Fatima Mattiello-Francisco, Carlos L. G. Batista. Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System. In 2016 Seventh Latin-American Symposium on Dependable Computing, LADC 2016, Cali, Colombia, October 19-21, 2016. pages 157-163, IEEE Computer Society, 2016. [doi]
Abstract is missing.