GitHub CreateEvent at 2014-01-24 14:50:39
Repository: ERTMSFormalSpecs
Actor: JamesOakey
Payload: ref: YellowBeltModelling
ref_type: branch
master_branch: master
description: ERTMSFormalSpecs provides a domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while retaining the  ability to be translated to executable representations by fully automated means.