Open AccessIdentifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV
Author(s) -
Sriram Kunnoth,
S. Sheerazuddin
Publication year - 2016
Publication title -
international journal of computer applications
Language(s) - English
Resource type - Journals
ISSN - 0975-8887
DOI - 10.5120/ijca2016910826
Subject(s) - interlocking , computer science , table (database) , control (management) , operations research , database , artificial intelligence , reliability engineering , engineering