Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. Bicchierai, I., Bucci, G., Carnevali, L., & Vicario, E. IEEE Trans. Ind. Informatics, 9(4):1806–1818, 2013.
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study [link]Paper  doi  bibtex   
@article{DBLP:journals/tii/BicchieraiBCV13,
    author = "Bicchierai, Irene and Bucci, Giacomo and Carnevali, Laura and Vicario, Enrico",
    title = "Combining {UML-MARTE} and Preemptive Time Petri Nets: An Industrial Case Study",
    journal = "{IEEE} Trans. Ind. Informatics",
    volume = "9",
    number = "4",
    pages = "1806--1818",
    year = "2013",
    url = "https://doi.org/10.1109/TII.2012.2205399",
    doi = "10.1109/TII.2012.2205399",
    timestamp = "Thu, 21 May 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/journals/tii/BicchieraiBCV13.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0