Dataset for "An STPA-based formal composition framework for trustworthy autonomous maritime systems"
收藏DataCite Commons2021-01-12 更新2025-04-17 收录
下载链接：
http://eprints.soton.ac.uk/id/eprint/445848
下载链接
链接失效反馈官方服务：
资源简介：
The data set contains the following material - *imms_classdiagram.zip* and *imms_statemachine.zip*: System model using UML-B class diagrams and statemachine - *MP2.zip*: Archive of the model for communication link MP2 in Event-B/Rodin
提供机构：
University of Southampton
创建时间：
2021-01-12
