搜索页_Reachability+analysis

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Wiley电子期刊(3)	SpringerLink电子期刊(737)	Elsevier电子期刊(868)
Springer电子图书(14)	ProQuest学位论文(30)	ACS电子期刊(3)

在“SpringerLink电子期刊”中，命中：737条，耗时：0.0719963 秒

在所有数据库中总计命中：1,655条

1. Reachability Analysis of Pushdown Systems with an Upper Stack

关键词：Pushdown systems ; Reachability analysis ; Stack pointer ; Finite automata

刊名：Lecture Notes in Computer Science

出版年：2017

2. Maximally permissive controlled system synthesis for non-determinism and modal logic

作者： A. C. van Hulst ; M. A. Reniers ; W. J. Fokkink

关键词：Controlled system synthesis ; Modal logic ; Non ; determinism ; Maximal permissiveness ; Controllability ; Partial bisimulation

刊名：Discrete Event Dynamic Systems

出版年：2017

3. A formal structure for symbolic reachability analysis of rectangular hybrid systems

作者： HaiBin Zhang ; Cheng Zhao ; Rong Li

关键词：rectangular hybrid systems ; symbolic methods ; reachability analysis

刊名：SCIENCE CHINA Technological Sciences

出版年：2016

4. Application of the Reachability Analysis for the Iron Homeostasis Study

关键词：Parametric ODE ; Reachability analysis ; Non ; linear systems ; Biological systems

刊名：Lecture Notes in Computer Science

出版年：2016

5. Static Analysis of Communicating Processes Using Symbolic Transducers

刊名：Lecture Notes in Computer Science

出版年：2017

6. Processing loads analysis of distributed mobility management and SIP-based reachability

作者： Hassan Ali-Ahmad ; Kashif Munir ; Philippe Bertin…

关键词：Distributed mobility management ; SIP ; IP mobility ; Reachability ; Performance analysis ; Analytical modeling

刊名：Telecommunication Systems

出版年：2016

7. Property Directed Reachability for Proving Absence of Concurrent Modification Errors

刊名：Lecture Notes in Computer Science

出版年：2017

8. Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games

刊名：Lecture Notes in Computer Science

出版年：2017

9. Symbolic Reachability Analysis of B Through ProB and LTSmin

关键词：B ; Method ; EventB ; ProB ; LTSmin ; Symbolic reachability

刊名：Lecture Notes in Computer Science

出版年：2016

10. Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems

关键词：Term rewriting ; Tree languages ; Reachability analysis

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(737)

题名(145)

关键词(68)

文摘(591)

按出版年细分(737)

2017年(5)

2016年(50)

2015年(55)

2014年(56)

2013年(62)

2012年(50)

2011年(17)

2010年(28)

2009年(56)

2008年(41)

2007年(65)

2006年(88)

2005年(58)

2004年(34)

2003年(19)

2002年(22)

2001年(10)

2000年(5)

2000年及以前(16)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700