搜索页_+formal+verification

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(3)	Springer电子图书(71)	CNKI学位论文(4508)	知网期刊论文(2176)
馆藏书目(2)	CNKI会议论文(3)	CNKI期刊论文0611(3)	万方学位论文(1)

在“SpringerLink电子期刊”中，命中：3,803条，耗时：0.0159923 秒

在所有数据库中总计命中：6,767条

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 ; EventB ; 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 formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

8. A Two-Way Path Between Formal and Informal 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 checkingk ; 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

按检索点细分(3803)

题名(460)

作者(2)

关键词(669)

文摘(2726)