设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(14)
SpringerLink电子期刊(3803)
GSW全文库(3)
ACS电子期刊(6)
Springer电子图书(71)
ProQuest学位论文(195)
Elsevier电子期刊(1295)
在“
SpringerLink电子期刊
”中,
命中:
3,803
条,耗时:0.0159936 秒
在所有数据库中总计命中:
5,387
条
1.
Improving the scalability of
formal
human–automation interaction
verification
analyses that use task-analytic models
作者:
Matthew L. Bolton
;
Xi Zheng
;
Kylie Molinaro…
关键词:
Model checking
;
Task analytic models
;
Formal
methods
;
Scalability
刊名:Innovations in Systems and Software Engineering
出版年:2017
2.
A framework for the
verification
of an ECG biosensor algorithm
作者:
Hussam Al-Hamadi
;
Amjad Gawanmeh…
关键词:
Formal
verification
framework
;
Event
B ;
Bio
;
sensor
;
ECG
;
Pan Tompkins algorithm
刊名:Analog Integrated Circuits and Signal Processing
出版年:2017
3.
Formal
Verification
of a Memory Allocation Module of Contiki with
Frama-C
: A Case Study
关键词:
Deductive
verification
;
Specification
;
\(\textsc {Frama}\text {
;
}\textsc {C}\)
;
Contiki
;
Memory allocation
刊名:Lecture Notes in Computer Science
出版年:2017
4.
Verification
of Networks of Smart Energy Systems over the Cloud
关键词:
Cyber
;
physical systems
;
Systems of systems
;
Internet of things
;
Hybrid models
;
Stochastic processes
;
Nondeterminism
;
Partial observations
;
Real
;
time systems
;
Security
;
Model learning
;
(quantitative) probabilistic
verification
;
Formal
abstractions
;
Bisimulations
;
Statistical
verification
;
Feedback controllers
;
Policy and strategy synthesis
;
Distributed control
;
Safety and performance
;
Games
;
Correct
;
by design synthesis
;
Autonomy
;
Energy and power networks
;
Electricity demand
;
response
;
Thermostatically controlled loads
刊名:Lecture Notes in Computer Science
出版年:2017
5.
Online, library-based visual
formal
specification monitoring system for monitoring log-files with visible and hidden data
作者:
Doron Drusinsky
关键词:
Runtime monitoring
;
Formal
specifications
;
UML
;
Hidden Markov models
刊名:Innovations in Systems and Software Engineering
出版年:2017
6.
A
formal
modeling and analysis approach for access control rules, policies, and their combinations
作者:
Vahid R. Karimi
;
Paulo S. C. Alencar…
关键词:
Access control (AC)
;
XACML
;
AC combining algorithms
;
Modeling
;
Analysis
刊名:International Journal of Information Security
出版年:2017
7.
Model checking of state-rich
formal
ism
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
8.
A Two-Way Path Between
Formal
and In
formal
Design of Embedded Systems
关键词:
Simulink
;
HCSP
;
UTP
;
Verification
;
Hybrid systems
刊名:Lecture Notes in Computer Science
出版年:2017
9.
Handling loops in bounded model checking of C programs via
k
-induction
作者:
Mikhail Y. R. Gadelha
;
Hussama I. Ismail…
关键词:
Software engineering
;
Formal
methods
;
Verification
;
Model checking
k ;
induction
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
10.
Architectural design of a LMS with LTSA-conformance
作者:
Souvik Sengupta
;
Ranjan Dasgupta
关键词:
Architectural design
;
UML
;
Acme
;
LMS
;
LTSA
;
Design
verification
刊名:Education and Information Technologies
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(3803)
题名(460)
作者(2)
关键词(669)
文摘(2726)
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
.