The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
A. C. Simpson
Details
| Book Title |
Colloquium on Communication Networks in Transportation |
| Publisher |
IEE |
| Year |
1995 |
Links
Related pages
|
People |