An Approach for Verification of a Satellite Simulator - An Evolving System

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]

Authors

Paulo Diego Barbosa Da Silva

This author has not been identified. Look up 'Paulo Diego Barbosa Da Silva' in Google

Ana Maria Ambrosio

This author has not been identified. Look up 'Ana Maria Ambrosio' in Google

Emília Villani

This author has not been identified. Look up 'Emília Villani' in Google

Denise Rotondi Azevedo

This author has not been identified. Look up 'Denise Rotondi Azevedo' in Google