...
机译:验证状态图中的访问控制
机译:关于不断发展的Statecharts规范的需求验证
机译:验证UML状态图模型的高效算法
机译:验证无功系统状态图规范的新方法
机译:基于属性StateChart的StateChart模型的验证方法
机译:动态Web应用程序中访问控制的验证框架。
机译:一项实用随机对照的研究评估在加拿大有动机戒烟的人群中戒烟药物治疗覆盖率对成功戒烟者比例的影响(访问)
机译:PLC-StateCharts:一种在开环控制工程中集成UML-StateCharts的方法 - 行为语义和模型检查的方面