设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(2)
Springer电子图书(5)
ProQuest学位论文(116)
Elsevier电子期刊(1124)
Wiley电子期刊(4)
SpringerLink电子期刊(2044)
GSW全文库(1)
ACS电子期刊(5)
在“
SpringerLink电子期刊
”中,
命中:
2,044
条,耗时:0.1059507 秒
在所有数据库中总计命中:
3,301
条
1.
Model
checking
of
state
-rich formalism
by linking to
\(CSP\,\Vert \,B\)
作者:
Kangfeng Ye…
关键词:
\(CSP \parallel B\)
;
CSP
ZB ;
ProB
;
Model
checking
;
Buffer
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
2.
Inferring physical units in formal
model
s
作者:
Sebastian Krings
;
Michael Leuschel
关键词:B ;
method
;
Event
B ;
Physical units
;
Model
checking
;
Abstract interpretation
刊名:Software & Systems
Model
ing
出版年:2017
3.
Specification and automated validation of staged reconfiguration processes for dynamic software product lines
作者:
Malte Lochau
;
Johannes Bürdek
;
Stefan Hölzle
;
Andy Schürr
关键词:
Dynamic software product lines
;
Staged configuration
;
Model
;
based domain engineering and validation
;
Model
checking
刊名:Software & Systems
Model
ing
出版年:2017
4.
Reducing
State
Explosion for Software
Model
Checking
with Relaxed Memory Consistency Models
关键词:
Software
model
checking
;
Relaxed memory consistency
model
s
;
State
explosion
;
Reordering of instructions
;
Integration of
state
s
;
Concurrent copying garbage collection
刊名:Lecture Notes in Computer Science
出版年:2016
5.
Transport through a quantum dot coupled to two Majorana bound
state
s
作者:
Qi-Bo Zeng
;
Shu Chen
;
L. You
;
Rong Lü
关键词:
quantum dot
;
Majorana bound
state
s
;
Fano profile
;
QD–Kitaev ring
;
topologically trivial and nontrivial
刊名:Frontiers of Physics
出版年:2017
6.
Injection Structures Specified by Finite
State
Transducers
关键词:
Computability theory
;
Injection structures
;
Automatic structures
;
Finite
state
automata
;
Finite
state
transducers
刊名:Lecture Notes in Computer Science
出版年:2017
7.
Enhancing Support Vector Decoders by Integrating an Uncertainty
Model
关键词:
Uncertainty
;
SVDD
;
Smart grid
;
Distributed generation
刊名:Lecture Notes in Computer Science
出版年:2017
8.
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection
关键词:
Hybrid systems
;
Sliding mode
;
Loop invariants
;
Verification
;
Symbolic analysis
刊名:Lecture Notes in Computer Science
出版年:2017
9.
In Log and
Model
We Trust? A Generalized Conformance
Checking
Framework
关键词:
Process mining
;
Conformance
checking
;
Model
repair
;
Log repair
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
刊名:Lecture Notes in Computer Science
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(2044)
题名(81)
关键词(117)
文摘(1728)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.