论文研究-多路口交通信号控制系统的分析与验证 .pdf

【文件属性】：

文件名称：论文研究-多路口交通信号控制系统的分析与验证 .pdf

文件大小：371KB

文件格式：PDF

更新时间：2022-09-04 09:46:42

软件工程; 交通信号控制系统; 分析与验证

多路口交通信号控制系统的分析与验证，雷丽晖，李亚利，为判定多路口交通信号控制系统是否能满足用户需求，需要对系统进行分析和验证。本文将多路口交通信号控制系统抽象为一个由若干简