![[IEEE IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. - Victoria, BC, Canada (17-19 May 1995)] IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. Proceedings - Formal modelling and analysis of computerized control in rail transport: a case study]()
[IEEE IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. - Victoria, BC, Canada (17-19 May 1995)] IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. Proceedings - Formal modelling and analysis of computerized control in rail transport: a case studyFreedman, P.; Das, A. · 1995