Comput. Sci. Eng. Dept., Politeh. Univ. of Timisoara, Timisoara, Romania;
components; model checking; real-time scheduling;
机译:建模为定时输入输出自动机的实时系统的测试选择标准
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:解析实时分析和定时自动机:一种用于嵌入式实时系统性能分析的混合方法
机译:基于组件的实时系统的定时自动机模型
机译:基于组件的实时嵌入式系统的基于模型的测试技术
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:基于组件的实时系统的定时自动机模型