ERTMS Hybrid Level 3 - model using iUML-B/Event-B
收藏官方服务：
资源简介：
iUML-B based model of the ERTMS Hybrid Level 3 specification. Developed to support ABZ2018 case study track paper:Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3, Dana Dghaym, Michael Poppleton, Colin Snook
创建时间：
2018-03-28
