机译:比较无限状态系统和有限状态规范的一般方法
Verification; Semantic equivalences; Infinite-state systems; Modal logic;
机译:比较无限状态系统和有限状态规范的一般方法
机译:验证FSM的系统方法:谨慎管理有限状态机的设计风格选择和复杂性属性可能会影响最终实现的质量和可验证性
机译:单调精度和调用动态系统执行和规格的测量措施
机译:比较无限状态系统及其有限状态规范的一般方法
机译:基于模板的物理安全系统仿真模型规范方法。
机译:一种计算系统方法可识别协同规范基因以促进谱系向前列腺组织的转化
机译:无限状态系统与有限状态规范比较的一般方法