Dataset for: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

Name: Dataset for: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
Creator: University of Southampton
Published: 2019-08-21T08:38:15+08:00

DataCite Commons2020-07-29 更新2025-04-17 收录

铁路信号系统形式化验证

ERTMS安全规范建模

数据链接：

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

Dataset for: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

资源简介：

相关数据集