...
机译:验证无功系统状态图规范的新方法
reactive system; verification; statechart specification; property specification; formal semantics; abstraction technique; model checking; temporal logic;
机译:ASADAL / PROVER:用于验证Statechart中实时系统规范的时间特性的工具集
机译:关于不断发展的Statecharts规范的需求验证
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:基于UML StateChart模型的基于高效的基于事件的方法
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:一种计算系统方法可识别协同规范基因以促进谱系向前列腺组织的转化
机译:关于不断发展的Statecharts规范的需求验证