Avionics Self-adaptive Software: Towards Formal Verification and Validation.

Meenakshi D'Souza, Rajanikanth Nagaraj Kashi

Browse the full ICDCIT paper archive.