Faculty of Informatics, Masaryk University, Botanicka 68a, 60200 Brno, Czech Republic;
机译:比较无限状态系统和有限状态规范的一般方法
机译:一种用于建模和分析静态系统的有限状态机方法
机译:验证FSM的系统方法:谨慎管理有限状态机的设计风格选择和复杂性属性可能会影响最终实现的质量和可验证性
机译:一种将无限状态系统与其有限状态规格进行比较的一般方法
机译:基于模板的物理安全系统仿真模型规范方法。
机译:一种计算系统方法可识别协同规范基因以促进谱系向前列腺组织的转化
机译:无限状态系统与有限状态规范比较的一般方法