Dataset for: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
收藏DataCite Commons2020-07-29 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/id/eprint/433407
下载链接
链接失效反馈官方服务：
资源简介：
iUML-B based model of the ERTMS Hybrid Level 3 specification. Developed to support a special issueof ABZ2018 in International Journal on Software Tools for Technology Transfer, track paper: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
提供机构：
University of Southampton
创建时间：
2019-08-21
