README
收藏DataCite Commons2020-09-01 更新2024-07-25 收录
下载链接：
https://figshare.com/articles/dataset/README/5223898
下载链接
链接失效反馈官方服务：
资源简介：
In this link, we present an information about usage of the artifact submission for our paper of the same name, to be presented at the MoDELS conference 2017 in Austin, TX. Our submission includes the model transformation from SecBPMN2 to UMLsec models as well as four examples models from the Air Traffic Management System case study. We explain the process of using the transformation, and the verification of the generated UMLsec models using the CARiSMA tool.
提供机构：
figshare
创建时间：
2017-07-19
