Software system reliability and security

Mã QR

Software system reliability and security

Because of concerted research over the last twenty-five years, model-checking of reactive systems is now well-understood theoretically as well as applied in practice. The theories of temporal logics and automata have played a foundational role in this area.

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Broy, Manfred, Grünbauer, Johannes, Hoare, Tony
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Những chủ đề:	Software Security
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35122
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ự

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

Engineering Theories of Software Intensive Systems
Bỡi: Broy, Manfred, et al.
Đượ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)

A logical basis for component-oriented software and systems engineering /
Bỡi: Broy, Manfred.

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

Open source security tools:
Bỡi: Howlett, Tony
Được phát hành: (2005)

Open source security tools :
Bỡi: Howlett, Tony
Được phát hành: (2005)

Fundamentals of Secure System Modelling
Bỡi: Matulevičius, Raimundas
Được phát hành: (2020)

Engineering Secure Software and Systems
Bỡi: Payer, Mathias, et al.
Được phát hành: (2020)

Software security engineering :
Được phát hành: (2008)

Quality, Reliability, Security and Robustness in Heterogeneous Systems
Bỡi: Chu, Xiaowen, et al.
Được phát hành: (2020)

Reliable Software Technologies - Ada-Europe 2009
Được phát hành: (2020)

Risks and Security of Internet and Systems
Bỡi: Cuppens, Frédéric, et al.
Được phát hành: (2020)

Model-Driven Development of Reliable Automotive Services
Bỡi: Broy, Manfred, et al.
Được phát hành: (2020)

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Bỡi: Fantechi, Alessandro, et al.
Được phát hành: (2020)

Reliable Software Technologies - Ada-Europe 2007
Bỡi: Abdennahder, Nabil, et al.
Được phát hành: (2020)

Reliable Software Technology – Ada-Europe 2005
Được phát hành: (2020)

Run-time security traceability for evolving systems /
Bỡi: Bauer, Andreas.

Reliable Software Technologies – Ada-Europe 2017
Bỡi: Blieberger, Johann, et al.
Được phát hành: (2020)

Security and software for cybercafés
Được phát hành: (2008)

Computer Safety, Reliability, and Security
Được phát hành: (2020)

Software Quality: Quality Intelligence in Software and Systems Engineering
Bỡi: Winkler, Dietmar, et al.
Được phát hành: (2020)

Reliable Systems on Unreliable Networked Platforms
Bỡi: Kordon, Fabrice, et al.
Được phát hành: (2020)

Reliable Software Technologies - Ada-Europe 2008
Bỡi: Kordon, Fabrice, et al.
Được phát hành: (2020)

Reliable Software Technologies – Ada-Europe 2018
Bỡi: Casimiro, António, et al.
Được phát hành: (2020)

Software Quality: Methods and Tools for Better Software and Systems
Bỡi: Winkler, Dietmar, et al.
Được phát hành: (2020)

Designing Reliable Distributed Systems
Bỡi: Ölveczky, Peter Csaba
Được phát hành: (2020)

Model-Integrating Software Components (Engineering Flexible Software Systems)
Bỡi: Derakhshanmanesh, Mahdi
Được phát hành: (2015)

Linux system security : an administrator's guide to open source security tools /
Bỡi: Mann, Scott, 1958-
Được phát hành: (2003)

Water supply systems security
Bỡi: Mays, Larry W.
Được phát hành: (2004)

Security metrics foundations for computer security /
Bỡi: Trcek, Denis.

Service-oriented software system engineering :
Bỡi: Stojanovic, Zoran
Được phát hành: (2005)

Testing of Software and Communication Systems
Được phát hành: (2020)

Feature Interactions in Software and Communication Systems X
Bỡi: Nakamura, Masahide, et al.
Được phát hành: (2013)

String Analysis for Software Verification and Security
Bỡi: Bultan, Tevfik, et al.
Được phát hành: (2020)

Software Engineering for Self-Adaptive Systems
Được phát hành: (2020)

The architecture of computer hardware and systems software
Bỡi: IRV ENGLANDER
Được phát hành: (2000)

Implementing and administering security in a Windows Server 2003 network
Bỡi: Barrett, Diane
Được phát hành: (2006)

Interests in securities
Bỡi: Benjamin, Joanna
Được phát hành: (2000)