Rodin Prototype Plug-ins and Development of the SecBot Case Study
收藏DataCite Commons2020-09-20 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/id/eprint/425610
下载链接
链接失效反馈官方服务：
资源简介：
Dataset supporting "Refinement of Statecharts with Run-to-Completion Semantics"
Presented at FTSCS 2018 - The 6th International Workshop on Formal Techniques for Safety-Critical Systems, 16th November 2018, Gold Coast, Australia
支撑《带运行至完成语义的状态图（Statecharts）精化》一文的数据集。该数据集已在2018年第6届安全关键系统形式化技术国际研讨会（FTSCS 2018）上展示，本次研讨会于2018年11月16日在澳大利亚黄金海岸举办。
提供机构：
University of Southampton
创建时间：
2018-10-26
