首页> 外文OA文献 >An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

【2h】

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

机译：采用定时自动机和正式方法建模城市道路交通的创新方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Eduardo Valente; Camelia Avram; José Machado; Adina Astilean;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods [J] . Valente Eduardo, Avram Camelia, Machado Jose, Journal of Advanced Transportation . 2018,第PTa5期

机译：定时自动机和形式化方法对城市道路交通建模的创新方法
2. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods [J] . Eduardo Valente, Camelia Avram, Jos Machado, Journal of advanced transportation . 2018,第2期

机译：定时自动机和形式化方法对城市道路交通建模的创新方法
3. Extending Particle Hopping Models for road traffic with Timed Automata [J] . Physica, A. Statistical mechanics and its applications . 2020,第期

机译：用定时自动机扩展用于道路交通的粒子跳跃模型
4. Methods for Modeling Urban Road Traffic Using Timed Automata [C] . Camelia Avram, Jose Machado, Adina Astilean International Conference on Design, Simulation, Manufacturing: The Innovation Exchange . 2020

机译：使用定时自动机建模城市道路交通的方法
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. A novel approach to model traffic on road segments of large-scale urban road networks [O] . Amila Jayasinghe, Kazushi Sano, C. Chethika Abenayake, 2019

机译：一种对大型城市路网路段的交通进行建模的新颖方法
7. Modeling and formal analysis of urban road traffic [O] . Camelia Avram, José Machado, Adina Aştilean 2013

机译：城市道路交通的建模与正式分析

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

著录项

引文网络

相似文献

相关主题

期刊订阅