Formal Requirement Verification of a Swedish Railway Interlocking System
- Författare
- Jakob Lyng Petersen
- (Jakob Lyng Petersen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Technical University of Denmark | 1997 | Danmark, Lyngby | 37 sidor. ill. |