UML时间顺序图的自动验证技术

陈江陈建国陆慧娟唐文彬

中国计量学院学报2010，Vol.21Issue(2)：124-129,6.

The automated verification technology of UML time sequence diagram

陈江 ¹陈建国 ²陆慧娟 ¹唐文彬¹

作者信息

UML时间顺序图/自动验证/系统建模

计算机与自动化

陈江,陈建国,陆慧娟,唐文彬..UML时间顺序图的自动验证技术[J].中国计量学院学报,2010,21(2):124-129,6.

浙江省科技厅重大科技专项(No.2007C13091) （No.2007C13091）

OACHSSCD

ISSN：2096-2835

访问量0

下载量0

段落导航