Formal Logical Methods for System
Security and Correctness

Mã QR

Formal Logical Methods for System Security and Correctness

This Series presents the results of scientific meetings supported under the NATO Programme: Science for Peace and Security (SPS). The NATO SPS Programme supports meetings in the following Key Priority areas: (1) Defence Against Terrorism; (2) Countering other Threats to Security and (3) NATO, Par...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Grumberg, Orna, Nipkow, Tobias, Pfaller, Christian
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Những chủ đề:	Methods System
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35224
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Formal Correctness of Security Protocols
Bỡi: Bella, Giampaolo
Được phát hành: (2020)

Software Safety and Security: Tools for Analysis and Verification
Bỡi: Nipkow, Tobias, et al.
Được phát hành: (2014)

Logics and Languages for Reliability and Security
Bỡi: Esparza, Javier, et al.
Được phát hành: (2013)

Methods with corrections for the simultaneous inclusion of polynomial zeros /
Bỡi: Petkovicc, Miodrag.

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

Correction of the approximation error in the time-stepping finite element method /

Radiation-corrected harman method for characterization of thermoelectric materials /
Bỡi: Ao, Xianyu.

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Methods for Discrete-Time Dynamical Systems
Bỡi: Belta, Calin, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Probabilistic methods of signal and system analysis
Bỡi: George R. Cooper
Được phát hành: (1999)

Formal Methods and Hybrid Real-Time Systems
Bỡi: Jones, Cliff B., et al.
Được phát hành: (2020)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Formal Methods for Components and Objects
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Barthe, Gilles
Được phát hành: (2020)

Engineering Methods and Tools for Software Safety and Security
Bỡi: Broy, Manfred, et al.
Được phát hành: (2013)

Formal Methods and Testing
Bỡi: Hierons, Robert M., et al.
Được phát hành: (2020)

Stastitical methods in computer security
Bỡi: Chen, William W. S.
Được phát hành: (2005)

Structured Object-Oriented Formal Language and Method
Bỡi: Miao, Huaikou, et al.
Được phát hành: (2020)

FM 2008: Formal Methods
Bỡi: Cuellar, Jorge, et al.
Được phát hành: (2020)

FM 2009: Formal Methods
Được phát hành: (2020)

Formal Methods for Web Services
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Lau, Kung-Kiu, et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Formal Models of Operating System Kernels
Bỡi: Craig, Iain D.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Cerone, Antonio, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Formal Methods and Software Engineering
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

Formal Methods: Foundations and Applications
Được phát hành: (2020)

Formal Methods and Software Engineering
Được phát hành: (2020)

Formal Methods in Systems Biology
Bỡi: Fisher, Jasmin
Được phát hành: (2020)

Quasi-inexact-Newton methods with global convergence for solving constrained nonlinear systems /
Bỡi: Martinez, Jose Mario.

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Formal ontology in information systems : proceedings... by Brandon Bennett Formal ontology in information systems : proceedings of the Fourth International Conference (FOIS 2006)
Bỡi: Bennett, Brandon, et al.
Được phát hành: (2013)