Kochaleema, KH, NPOL (DRDO), 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