Availability of the MA graph, the generated MSTML file(s), the formal PBLMSTL specification, and the excerpts from the referenced papers used to write the formal specification for each case study.

Figshare2016-09-28 更新2026-04-29 收录

数据链接：

https://figshare.com/articles/dataset/Availability_of_the_i_MA_i_graph_the_generated_MSTML_file_s_the_formal_PBLMSTL_specification_and_the_excerpts_from_the_referenced_papers_used_to_write_the_formal_specification_for_each_case_study_/3941514 数据链接链接失效反馈

官方服务：

资源简介：

Availability of the MA graph, the generated MSTML file(s), the formal PBLMSTL specification, and the excerpts from the referenced papers used to write the formal specification for each case study.

创建时间：

2016-09-28

Availability of the MA graph, the generated MSTML file(s), the formal PBLMSTL specification, and the excerpts from the referenced papers used to write the formal specification for each case study.

资源简介：

相关数据集