A Formal Specification of an Automatic Train Protection System
Andrew Simpson
Details
| Book Title |
FME '94: Industrial Benefits of Formal Methods. Proceedings of Second International Symposium of Formal Methods Europe‚ Barcelona‚ Spain‚ October 1994 |
| Editor |
Naftalin‚ M. and Denvir‚ T. and Bertran‚ M. |
| Pages |
602–617 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
873 |
| Year |
1994 |
Links
Related pages
|
People |