Case studies; Models; Parametric timed automata;
机译:参数定时自动机中的参数更新
机译:使用参数定时自动机对存储电路的遗传架构进行定时验证
机译:基于双深度优先搜索的参数时间间隔自动机参数分析
机译:参数定时自动机的活性合成的完整性(扩展摘要)
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:扩展参数定时自动机的基准库
机译:选定的计算机代码和图书馆第一卷。用于sNap反应器参数研究的ZIpna TImEsHaRE程序