Formal specifications; SOFL; Smart traffic light;
机译:西门子打造智能交通信号灯-更智能
机译:斯普林菲尔德将智能技术应用于运动区照明和控制装置
机译:基于代理的仿真,用于探索系统中的通信,以控制与智能红绿灯的城市流量
机译:将SOFL应用于构建智能红绿灯规范
机译:应用计算智能技术通过交通传感器数据和天气数据预测交通流量
机译:在多发性硬化症护理中克服治疗惯性:在医学教育中应用交通信号灯系统的先导随机试验
机译:评估用斜坡计量方法应用智能交通灯的三叶腰口的操作行为