[1]
Kochaleema, K. and Santhoshkumar, G. 2019. Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller. Defence Science Journal. 69, 1 (Jan. 2019), 58-64. DOI:https://doi.org/10.14429/dsj.69.12294.