[IEEE 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) - Cali, Colombia (2016.10.19-2016.10.21)] 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) - An Approach for Verification of a Satellite Simulator - An Evolving System
Silva, Paulo Diego Barbosa Da, Ambrosio, Ana Maria, Villani, Emilia, Azevedo, Denise RotondiYear:
2016
Language:
english
DOI:
10.1109/ladc.2016.36
File:
PDF, 378 KB
english, 2016