Santhoshkumar, G., Faculty of Technology, Cochin University of Science and Technology, Kochi - 682 022, India, India

• Defence Science Journal Vol 69 No 1 - Computers & Systems Studies
  Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller
  Abstract  PDF