搜索页_Formal+methods

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(38)	馆藏电子书[解放前](1)	Springer电子图书(163)	CNKI学位论文(28822)	知网期刊论文(34544)
中国地质文献-英文(3)	馆藏书目(6)	CNKI会议论文(16)	CNKI期刊论文0611(25)	标准(1)

在“SpringerLink电子期刊”中，命中：7,172条，耗时：0.0759921 秒

在所有数据库中总计命中：63,619条

1. Towards formal open standards: formalizing a standard’s requirements

作者： Konstantinos Barlas ; Eleni Berki…

关键词：Open standards ; Formal methods ; Formal specification ; Rich Site Summary (RSS)v2.0 protocol ; CafeOBJ

刊名：Innovations in Systems and Software Engineering

出版年：2017

2. Decomposition methods of formal contexts to construct concept lattices

作者： Ting Qian ; Ling Wei…

关键词：Formal context ; Formal concept ; Decomposition ; Subcontext ; Closed relation

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

3. 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

4. Attribute reduction in inconsistent formal decision contexts based on congruence relations

作者： Jun-Yu Li ; Xia Wang ; Wei-Zhi Wu ; You-Hong Xu

关键词：Inconsistent formal decision context ; Attribute reduction ; Congruence relation ; Rough set ; Three ; way concept analysis

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

5. 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

6. Invariant almost complex geometry on flag manifolds: geometric formality and Chern numbers

作者： Lino Grama ; Caio J. C. Negreiros…

关键词：Generalized flag manifolds ; Geometric formality ; Invariant almost complex geometry

刊名：Annali di Matematica Pura ed Applicata (1923 -)

出版年：2017

7. Code generation for Event-B

作者： Víctor Rivera ; Néstor Cataño ; Tim Wahls…

关键词：Android ; Code generation ; EventB ; Formal methods ; Java ; JML ; EventB2Java ; Rodin ; Tokeneer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

8. Inferring physical units in formal models

作者： Sebastian Krings ; Michael Leuschel

关键词：B ; method ; EventB ; Physical units ; Model checking ; Abstract interpretation

刊名：Software & Systems Modeling

出版年：2017

9. 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

10. Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm

关键词：Distributed clustering ; Algebra ; Rewriting ; Formal methods ; Privacy

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(7172)

刊名(532)

题名(269)

作者(1)

关键词(569)

文摘(5824)