OnTrack: The Railway Verification Toolset
| Date first appeared online | 05/10/2016 |
| DOI | 10.1007/978-3-319-47169-3_21 |
| Authors | Nguyen H. |
| Journal Name | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications |
| Volume |