Traffic control; Timed automata model; Computer simulation; Formal verification;
机译:定时自动机和形式化方法对城市道路交通建模的创新方法
机译:定时自动机和形式化方法对城市道路交通建模的创新方法
机译:用定时自动机扩展用于道路交通的粒子跳跃模型
机译:使用定时自动机建模城市道路交通的方法
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:影响城市道路交通事故发生频率的因素:空间面板时间固定效应误差模型
机译:采用定时自动机和正式方法建模城市道路交通的创新方法