Bounded Model Checking of Traffic Light Control System

机译：红绿灯控制系统的边界模型检查

代理获取

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

页面导航

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

著录项

作者
Yu Bin; Duan Zhenhua; Tian Cong;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Bounded Model Checking of Traffic Light Control System [J] . Bin Yu, Zhenhua Duan, Cong Tian Electronic Notes in Theoretical Computer Science . 2014,第2期

机译：红绿灯控制系统的边界模型检查
2. Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems [J] . Pathiah Abdul Samat, Abdullah Mohd Zin, Zarina Shukur Journal of computer sciences . 2011,第2期

机译：交通灯系统建模的模型检查器输入语言分析
3. Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems | Science Publications [J] . Abdullah M. Zin, Pathiah A. Samat, Zarina Shukur Journal of computer sciences . 2011,第2期

机译：交通信号灯系统建模的模型检查器输入语言分析科学出版物
4. Application of Symbolic and Bounded Model Checking to the Verification of Logic Control Systems [C] . Loeis, K., Younis, Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on . 2005

机译：符号和边界模型检查在逻辑控制系统验证中的应用
5. Unbounded-2-bounded: A two-phase approximation for model checking unbounded until properties of probabilistic system. [D] . Jennings, Paul. 2011

机译：Unbounded-2-bounded：两阶段近似，用于模型检查无穷大直到概率系统的性质。
6. Discovering vesicle traffic network constraints by model checking [O] . Ankit Shukla, Arnab Bhattacharyya, Lakshmanan Kuppusamy, 2011

机译：通过模型检查发现囊泡交通网络约束
7. Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling [O] . Monteiro, Felipe R. 2016

机译：状态空间数字系统的有界模型检验：有限字长对定点数字电路实现的影响基于状态空间建模的控制器

Bounded Model Checking of Traffic Light Control System

著录项

引文网络

相似文献

相关主题

期刊订阅