首页> 外文OA文献 >Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

【2h】

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

机译：汽车系统动态和随机行为的正式验证

代理获取

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

页面导航

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

著录项

作者
Li Huang; Tian Liang; Eun-Young Kang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Verification of Logic Control Systems with Nondeterministic Behaviors [J] . Saifulza Alwi, Yasutaka Fujimoto IEEJ Journal of Industry Applications . 2013,第6期

机译：具有不确定行为的逻辑控制系统的形式验证
2. Formal Verification of Stochastic Max-Plus-Linear Systems [J] . Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate IEEE Transactions on Automatic Control . 2016,第10期

机译：随机最大加线性系统的形式验证
3. Formal Verification and Synthesis for Discrete-Time Stochastic Systems [J] . Lahijanian Morteza, Andersson Sean B., Belta Calin Automatic Control, IEEE Transactions on . 2015,第8期

机译：离散随机系统的形式验证与综合
4. Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach [C] . Nianyu Li, Di Bai, Yiming Peng, 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security . 2018

机译：验证分散式自适应系统的随机行为：基于形式建模和仿真的方法
5. Formal verification and control of discrete-time stochastic systems [D] . Lahijanian, Morteza M. 2013

机译：离散时间随机系统的形式验证与控制
6. Effective stochastic behavior in dynamical systems with incomplete information [O] . Michael A. Buice, Carson C. Chow -1

机译：在不完全信息动态系统有效的随机行为
7. Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach [O] . Li Nianyu, Bai Di, Yang Zhuoqun, 2017

机译：验证分散自适应系统的随机行为：a 基于形式化建模和仿真的方法

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

著录项

引文网络

相似文献

相关主题

期刊订阅