Gracy Philip, Varsha P. Suresh, Meenakshi D'Souza. Safety Validation Using AADL System Architecture Models. In Y. Raghu Reddy, Vasudeva Varma, Jane Cleland-Huang, Umesh Bellur, Shubashsis Sengupta, Naveen Sharma, Ramesh Loganathan, Richa Sharma, Santonu Sarkar, editors, Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09 - 11, 2018. ACM, 2018. [doi]
Abstract is missing.