![](/img/cover-not-exists.png)
[ACM Press the 9th India Software Engineering Conference - Goa, India (2016.02.18-2016.02.20)] Proceedings of the 9th India Software Engineering Conference on - ISEC '16 - Formal verification of avionics self adaptive software
Kashi, Rajanikanth N., D'Souza, Meenakshi, Baghel, S. Kumar, Kulkarni, NitinYear:
2016
Language:
english
DOI:
10.1145/2856636.2856658
File:
PDF, 2.27 MB
english, 2016