Real-Time systems; Formal Methods; Timed Automata; Verification; Reachability Analysis;
机译:解析实时分析和定时自动机:一种用于嵌入式实时系统性能分析的混合方法
机译:解析实时分析和定时自动机:一种用于嵌入式实时系统性能分析的混合方法
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:以定时自动机建模的实时系统可达性分析的实用方法
机译:实时,容错系统的面向对象建模和设计的方法。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查