![](/img/cover-not-exists.png)
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study
Bicchierai, Irene, Bucci, Giacomo, Carnevali, Laura, Vicario, EnricoVolume:
9
Language:
english
Journal:
IEEE Transactions on Industrial Informatics
DOI:
10.1109/TII.2012.2205399
Date:
November, 2013
File:
PDF, 2.06 MB
english, 2013