To search, Click below search items.
All Published Papers Search Service
Title
Formal Dynamic Operational Model of RIS Components
Author
Nazir Ahmad Zafar
Vol. 11 No. 9 pp. 91-97
Keywords
Formal methods, Operational model, Railway interlocking, Z notation