Formal specification at model-level of model-driven engineering using modelling techniques
- Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David , Wallis, Mark
- Resource Type: journal article
- Date: 2021
Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones
- Creator: Hogavanaghatta Kumaraswamy, Jnanamurthy
- Resource Type: thesis
- Date: 2019
Verification of interactive automated air traffic control system in a model driven approach
- Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David
- Resource Type: conference paper
- Date: 2016
Verification and validation and complex environments: a study in service sector
- Creator: Jenkins, Roger , Deshpande, Yogesh , Davison, Graydon
- Resource Type: conference paper
- Date: 1998