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
Multi-level analysis of IEC 61131-3 languages to detect clones
- Creator: Jnanamurthy, H. K. , Jetley, Raoul , Henskens, Frans , Paul, David , Wallis, Mark , Sudarsan, S. D.
- Resource Type: journal article
- Date: 2020
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