Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, EmÃlia Villani, Denise Rotondi Azevedo. An Approach for Verification of a Satellite Simulator - An Evolving System. In 2016 Seventh Latin-American Symposium on Dependable Computing, LADC 2016, Cali, Colombia, October 19-21, 2016. pages 176-182, IEEE Computer Society, 2016. [doi]
Abstract is missing.