最美遇见微风
常年不更新场面进不去
UML时间顺序图的自动验证技术 中国计量学院学报 21:(2):124-129, 2010年6月,ISBN: 1004-154, 署名第二基于UML时间顺序图的
UML时间顺序图的自动验证技术 中国计量学院学报 21:(2):124-129, 2010年6月,ISBN: 1004-154, 署名第二基于UML时间顺序图的
《中国计量学院学报 》《计量技术 》《计量学报 》《计量与测试技术 》《中国计量 》等,订阅网上都可以订购
UML时间顺序图的自动验证技术 中国计量学院学报 21:(2):124-129, 2010年6月,ISBN: 1004-154, 署名第二基于UML时间顺序图的