ERTMS Hybrid Level 3 - model using iUML-B/Event-B
收藏DataCite Commons2020-09-20 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/id/eprint/417598
下载链接
链接失效反馈官方服务：
资源简介：
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
提供机构：
University of Southampton
创建时间：
2018-03-28
