figshare
Browse

File(s) stored somewhere else

Please note: Linked content is NOT stored on Figshare and we can't guarantee its availability, quality, security or accept any liability.

README

dataset
posted on 2017-07-19, 22:27 authored by Qusai RamadanQusai Ramadan
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.

History

Usage metrics

    Categories

    No categories selected

    Keywords

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC