计算机应用研究2009，Vol.26Issue(9)：3365-3368,4.DOI:10.3969/j.issn.1001-3695.2009.09.046
实时系统动态行为模型的一种形式分析方法
Formal analysis for dynamic behavioral models of real-time systems
摘要
关键词
实时系统/动态行为模型/时间约束/统一建模语言UML2.0/对象自动机分类
信息技术与安全科学引用本文复制引用
戎玫..实时系统动态行为模型的一种形式分析方法[J].计算机应用研究,2009,26(9):3365-3368,4.基金项目
江苏省高校自然科学基金资助项目(08KJB520010,05KJB520119) （08KJB520010,05KJB520119）
重庆市自然科学基金资助项目(2006BB2259) （2006BB2259）
