![](/img/cover-not-exists.png)
Application of formal methods to railway signalling—a case study
Cullyer, John, Wong, WaiVolume:
4
Year:
1993
Language:
english
Journal:
Computing & Control Engineering Journal
DOI:
10.1049/cce:19930005
File:
PDF, 712 KB
english, 1993