Software and Systems Safety

Mã QR

Software and Systems Safety

Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the c...

Mô tả đầy đủ

Đã lưu trong:

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

Software system reliability 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)

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

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme
Bỡi: Broy, Manfred
Được phát hành: (2012)

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

"3+3 process" for safety critical software for I&C system in nuclear power plants /
Bỡi: Jung, Jae-Cheon.

The Safety of Systems
Bỡi: Redmill, Felix, et al.
Được phát hành: (2020)

Advances in Systems Safety
Bỡi: Anderson, Tom, et al.
Được phát hành: (2012)

Improvements in System Safety
Bỡi: Redmill, Felix, et al.
Được phát hành: (2020)

Component-Based Software Development for Embedded Systems
Bỡi: Atkinson, Colin, et al.
Được phát hành: (2020)

Safety and Security in Multiagent Systems
Được phát hành: (2020)

System software :
Bỡi: Beck, Leland L.
Được phát hành: (1997)

Stabilization, Safety, and Security of Distributed Systems
Bỡi: Spirakis, Paul, et al.
Được phát hành: (2020)

Stabilization, Safety, and Security of Distributed Systems
Bỡi: Masuzawa, Toshimitsu, et al.
Được phát hành: (2020)

Stabilization, Safety, and Security of Distributed Systems
Được phát hành: (2020)

Stabilization, Safety, and Security of Distributed Systems
Bỡi: Izumi, Taisuke, et al.
Được phát hành: (2020)

Constituents of Modern System-safety Thinking
Được phát hành: (2020)

Risk and Safety Analysis of Nuclear Systems
Bỡi: Lee, John C, et al.
Được phát hành: (2014)

Formal Techniques for Safety-Critical Systems
Bỡi: Artho, Cyrille, et al.
Được phát hành: (2020)

Stabilization, Safety, and Security of Distributed Systems
Được phát hành: (2020)

Mathematical Foundations of System Safety Engineering
Bỡi: Zito, Richard R.
Được phát hành: (2020)

Risk and safety analysis of nuclear systems
Bỡi: Lee, John C.
Được phát hành: (2011)

Software Quality: Methods and Tools for Better Software and Systems
Bỡi: Winkler, Dietmar, et al.
Đượ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)

Embedded Software and Systems
Bỡi: Wu, Zhaohui, et al.
Được phát hành: (2020)

Embedded Software and Systems
Bỡi: Yang, Laurence T., et al.
Được phát hành: (2020)

Sensor Systems and Software
Bỡi: Magno, Michele, et al.
Được phát hành: (2020)

Testing Software and Systems
Bỡi: Yevtushenko, Nina, et al.
Được phát hành: (2020)

Embedded Software and Systems
Bỡi: Lee, Yann-Hang, et al.
Được phát hành: (2020)

Software Defined Systems
Bỡi: Zeng, Deze, et al.
Được phát hành: (2020)

Environmental Software Systems
Bỡi: Denzer, Ralf, et al.
Được phát hành: (2015)

Laser Scanning Systems in Highway and Safety Assessment
Bỡi: Pradhan, Biswajeet, et al.
Được phát hành: (2020)

Safety-Critical Systems: Problems, Process and Practice
Bỡi: Dale, Chris, et al.
Được phát hành: (2020)

Global Aeronautical Distress and Safety Systems (GADSS)
Bỡi: Ilčev, Stojče Dimov
Được phát hành: (2020)

Embedded software and systems :
Được phát hành: (2005)

Phân tích an toàn vận hành hệ thống điện sử dụng phần mềm Powerworld = An analysis of power system operation safety using powerworld software
Bỡi: Đặng, Mỹ Nhựt
Được phát hành: (2023)

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

COTS-Based Software Systems
Được phát hành: (2020)

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