![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC) - Vancouver, BC, Canada (2013.12.2-2013.12.4)] 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing - Consistency Verification of UML Diagrams Based on Process Bisimulation
Yokogawa, Tomoyuki, Amasaki, Sousuke, Okazaki, Keisuke, Sato, Yoichiro, Arimoto, Kazutami, Miyazaki, HisashiYear:
2013
Language:
english
DOI:
10.1109/prdc.2013.25
File:
PDF, 425 KB
english, 2013