设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(1)
SpringerLink电子期刊(32)
Elsevier电子期刊(56)
Springer电子图书(36)
NATURE电子期刊(3)
ACS电子期刊(6)
在“
Springer电子图书
”中,
命中:
36
条,耗时:小于0.01 秒
在所有数据库中总计命中:
134
条
1.
Software Engineering and Formal Methods
ContentType:Book
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
2.
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
3.
ProMoVer: Modular Verification of Temporal Safety Properties
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
4.
Context-Bounded Model Checking of LTL Properties for ANSI-C Software
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
5.
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
6.
Hybrid Specification of Reactive Systems: An Institutional Approach
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
7.
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
8.
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
9.
Synchronizing Asynchronous Conformance Testing
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
10.
Formal Methods as a Link between Software Code and Legal Rules
ContentType:Book Chapter
Publisher:
Springer Berlin / Heidelberg
Author:
Gilles Barthe
;
Alberto
Pardo
;
Gerardo Schneider
1
2
3
4
按检索点细分(36)
Author(36)
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
.