QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016 作者:  Zhang, Haitao;  Cheng, Zhuo;  Tian, Cong;  Lu, Yonggang;  Li, Guoqiang 收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18 Model checking  Automobile manufacture  Information science  Surface mount technology  Bounded model checking  Comparison result  Complex applications  Design and implements  Deterministic Scheduler  Developed applications  Optimization strategy  Safety property   Almost Sure Stability of A Class of Switched Systems 会议论文 27th Chinese Control and Decision Conference (CCDC), 2015-01-01 作者:  Yang Jie[1];  Song Yang[2];  Yang Taicheng[3];  Zheng Min[4] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30 Two level switched system  Deterministic Switching  Stochastic Switching  Almost sure stability