Koyalkar Raman Kishore

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Development Lifecycle

Complex Systems

Provably Correct

Top Venues

Publications

Rajanikanth N. Kashi, Meenakshi D'Souza, Koyalkar Raman Kishore
Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems. COMPUTE (2017)