Dataset for "An STPA-based formal composition framework for trustworthy autonomous maritime systems"

Name: Dataset for "An STPA-based formal composition framework for trustworthy autonomous maritime systems"
Creator: University of Southampton
Published: 2021-01-12 16:59:28
License: 暂无描述

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