[IEEE Comput. Soc Seventh Asia-Pacific Software Engineering Conference. ASPEC 2000 - Singapore (5-8 Dec. 2000)] Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 - Checking compositions of UML sequence diagrams for timing inconsistency
Xuandong Li, ; Lilius, J.
- 作者Xuandong Li, ; Lilius, J.
- 文件大小657.94KB
- 发表时间2000
- DOI10.1109/apsec.2000.896694
- 页码154-161