搜索页_+Formal+verification

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

Wiley电子期刊(14)	SpringerLink电子期刊(3803)	GSW全文库(3)	ACS电子期刊(6)
Springer电子图书(71)	ProQuest学位论文(195)	Elsevier电子期刊(1295)

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

在所有数据库中总计命中：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 ; 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)

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

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