Synthesis and Refinement Check of Sequence Diagrams
MIYAZAKI, Hisashi, YOKOGAWA, Tomoyuki, AMASAKI, Sousuke, ASADA, Kazuma, SATO, YoichiroVolume:
E95.D
Year:
2012
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e95.d.2193
File:
PDF, 531 KB
english, 2012