Article citationsMore>>

Zafar, N.A. (2006) Modeling and Formal Specification of Automated Train Control System Using Z Notation. IEEE Multi-Topic Conference (INMIC’06), Islamabad, 23-24 December 2006, 438-443.
http://dx.doi.org/10.1109/inmic.2006.358207

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
Free SCIRP Newsletters
Copyright © 2006-2021 Scientific Research Publishing Inc. All Rights Reserved.
Top