thecml / ertms-modelling-vdm Public

Notifications You must be signed in to change notification settings
Fork 1
Star 2

An Overture project that models ERTMS level 2 and interlocking properties in VDM++.

2 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
ERTMS		ERTMS
Literature		Literature
Report		Report
.gitignore		.gitignore
LICENSE		LICENSE
Model.txt		Model.txt
Notes.txt		Notes.txt
README.md		README.md

Repository files navigation

The ERTMS as a VDM model

Overture: http://overturetool.org/
ERTMS: https://en.wikipedia.org/wiki/European_Train_Control_System

About

An Overture project that models ERTMS level 2 and interlocking properties in VDM++.

vdm modelling trains overture ertms

Report repository

Releases

Packages

No packages published

Languages

TeX 100.0%