首页> 外文OA文献 >Modelling and verification of automated transit systems, using timed automata, invariants and simulations

【2h】

Modelling and verification of automated transit systems, using timed automata, invariants and simulations

机译：使用定时自动机，不变量和模拟对自动运输系统进行建模和验证

代理获取

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

页面导航

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

著录项

作者
Nancy Lynch;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata [J] . Paula Herber Information Technology . 2012,第6期

机译：使用定时自动机对SystemC设计进行自动化的硬件/软件协同验证
2. Modeling and verifying EPC network intrusion system based on timed automata [J] . Sun Yan, Wu Tin-Yu, Ma Xiaoqiong, Pervasive and Mobile Computing . 2015,第Null期

机译：基于定时自动机的EPC网络入侵系统建模与验证
3. How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study [J] . A. BURNS Real-time systems . 2003,第2期

机译：如何验证安全的实时系统：模型检查和定时自动机在生产单元案例研究中的应用
4. SUPERVISORY CONTROL OF REAL-TIME DISCRETE EVENT SYSTEMS MODELED BY TIMED AUTOMATA WITH INVARIANTS [C] . Ahmed Khoumsi, Lucien Ouedraogo, Mustapha Nourelfath Intelligent Systems and Control . 2005

机译：时变自动机建模的实时离散事件系统的监督控制
5. A trip time comparison of automated guideway transit systems. [D] . Juster, Reuben Morris. 2013

机译：自动导轨运输系统的行程时间比较。
6. Rule-based Modeling and Simulation of Biochemical Systems with Molecular Finite Automata [O] . Jin Yang, Xin Meng, William S. Hlavacek -1

机译：基于规则的分子有限自动机生化系统的建模与仿真
7. A dependable automated people mover system modeled and verified using timed automata : a case study [O] . Kunz Guilherme, Perondi Eduardo, Machado José Mendes 2011

机译：使用定时自动机建模和验证的可靠的自动化人员搬运系统：案例研究
8. Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. [R] . Archer, M., Heitmeyer, C. 1997

机译：验证模拟为定时自动机的混合系统：案例研究。

Modelling and verification of automated transit systems, using timed automata, invariants and simulations

著录项

引文网络

相似文献

相关主题

期刊订阅