Model Checking for Interlocking Safety
A. C. Simpson
Details
Book Title |
Proceedings of the Second FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom |
Year |
1998 |
Links
Related pages
People |