Computing Laboratory, University of Kent Canterbury, Kent, CT2 7NF, UK;
mobile processes; refinement; UTP; higher-order programming;
机译:使用重复的断面旅行调查来开发活动旅行计划过程的元模型
机译:通过活动 - 旅行环境在汽车共享决策过程中的顽固性异质性:依赖于上下文的潜在类随机实用程序 - 随机遗憾模型
机译:预测商用车辆长期旅行时间的新方法,以改善政策制定过程
机译:使用应用来评估运输系统的恢复性的双重时间尺度旅行时间流程
机译:在活动-旅行行为模型中对住宅自我选择进行建模:多维选择过程的集成模型。
机译:定量超声行进时间层析成像技术以研究工业过程中的液体加工
机译:宣布2019年流程后博士后研究员和博士学位的旅行奖。学生们
机译:德克萨斯州大都市区基于活动的旅行需求建模:活动 - 旅行模式生成微模拟器的软件相关过程和机制