![](/img/cover-not-exists.png)
[ACM Press the 10th Annual ACM India Compute Conference - Bhopal, India (2017.11.16-2017.11.18)] Proceedings of the 10th Annual ACM India Compute Conference on ZZZ - Compute '17 - Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems
Kashi, Rajanikanth N., D'Souza, Meenakshi, Kishore, Koyalkar RamanYear:
2017
Language:
english
DOI:
10.1145/3140107.3140128
File:
PDF, 649 KB
english, 2017