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 |