Consistency verification of UML diagrams based on process bisimulation, presented at PRDC 2013
by Tomoyuki Yokogawa, Sousuke Amasaki, Hisashi Miyazaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto,
Summary : N/A
ConCollector
Consistency verification of UML diagrams based on process bisimulation, presented at PRDC 2013
by Tomoyuki Yokogawa, Sousuke Amasaki, Hisashi Miyazaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto,
Summary : N/A