![](/img/cover-not-exists.png)
[IEEE 2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Noida, India (2018.8.29-2018.8.31)] 2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Verification of On-board Software of ISRO Launch Vehicles Using Polyspace-A Case Study
Sherine, K., Ranjan, Prashant, Jayalal, N., Gopalakrishnan, T., Valsa, B.Year:
2018
DOI:
10.1109/ICRITO.2018.8748315
File:
PDF, 162 KB
2018