GitHub repository: thecml/TrainControlWithVDM
Primary language: TeX
Created: 2018-10-20T22:31:31Z
Description: An Overture project that models ERTMS level 2 and interlocking properties in VDM++ (simplified)