مؤتمر
An Approach for Verification of a Satellite Simulator - An Evolving System
العنوان: | An Approach for Verification of a Satellite Simulator - An Evolving System |
---|---|
المؤلفون: | Barbosa Da Silva, P.D., Ambrosio, A.M., Villani, E., Azevedo, D.R. |
المصدر: | 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) Dependable Computing (LADC), 2016 Seventh Latin-American Symposium on. :176-182 Oct, 2016 |
Relation: | 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781509051205 |
---|---|
DOI: | 10.1109/LADC.2016.36 |