Safety-Critical Systems: Problems, Process and Practice

Mã QR

Safety-Critical Systems: Problems, Process and Practice

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Dale, Chris, Anderson, Tom
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer London 2020
Những chủ đề:	Computer Science System Performance and Evaluation Software Engineering
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83025
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ự

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

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

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

Analyzing Computer System Performance with Perl::PDQ
Bỡi: Gunther, Neil J.
Được phát hành: (2020)

Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Bỡi: Seong, Poong-Hyun
Được phát hành: (2020)

Euro-Par 2016: Parallel Processing Workshops
Bỡi: Desprez, Frédéric, et al.
Được phát hành: (2020)

Software Architecture
Bỡi: Cuesta, Carlos E., et al.
Được phát hành: (2020)

Requirements Engineering
Được phát hành: (2020)

Requirements Engineering
Bỡi: Dick, Jeremy, et al.
Được phát hành: (2020)

Tools and Methods of Program Analysis
Bỡi: Itsykson, Vladimir, et al.
Được phát hành: (2020)

Combinatorial Testing in Cloud Computing
Được phát hành: (2020)

Cloud Service Benchmarking
Bỡi: Bermbach, David, et al.
Được phát hành: (2020)

Principles of Security and Trust
Bỡi: Nielson, Flemming, et al.
Được phát hành: (2020)

Quality of Software Architectures and Software Quality
Bỡi: Reussner, Ralf H., et al.
Được phát hành: (2020)

Tests and Proofs
Bỡi: Beckert, Bernhard, et al.
Được phát hành: (2020)

The Testing Network
Bỡi: Henry, Jean-Jacques Pierre
Được phát hành: (2020)

Software Architectures, Components, and Applications
Bỡi: Overhage, Sven, et al.
Được phát hành: (2020)

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

Euro-Par 2017: Parallel Processing Workshops
Bỡi: Heras, Dora B., et al.
Được phát hành: (2020)

Greening Video Distribution Networks
Bỡi: Popescu, Adrian
Được phát hành: (2020)

High Performance Computing
Bỡi: Kunkel, Julian M., et al.
Được phát hành: (2020)

Cloud Computing. 2nd ed. 2017
Bỡi: Antonopoulos, Nick, et al.
Được phát hành: (2020)

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

Internet of Things, Smart Spaces, and Next Generation Networks and Systems
Bỡi: Galinina, Olga, et al.
Được phát hành: (2020)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems
Bỡi: Galinina, Olga, et al.
Được phát hành: (2020)

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
Bỡi: Wisniewski, Lukasz
Được phát hành: (2020)

Mobile Internet Security
Bỡi: You, Ilsun, et al.
Được phát hành: (2020)

High Performance Computing
Bỡi: Yokota, Rio, et al.
Được phát hành: (2020)

Computer Performance Engineering
Được phát hành: (2020)

Learn Ionic 2
Bỡi: Justin, Joyce, et al.
Được phát hành: (2020)

Network Performance Analysis
Bỡi: Holt, Alan
Được phát hành: (2020)

Performance Evaluation and Benchmarking for the Analytics Era
Bỡi: Nambiar, Raghunath, et al.
Được phát hành: (2020)

Big Data – BigData 2018
Bỡi: Chin, Francis Y. L., et al.
Được phát hành: (2020)

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

Safety-Critical Electrical Drives
Bỡi: Bolvashenkov, Igor, et al.
Được phát hành: (2020)

Optical Network Design and Modeling
Bỡi: Tomkos, Ioannis, et al.
Được phát hành: (2020)

Cloud Computing – CLOUD 2018
Bỡi: Luo, Min, et al.
Được phát hành: (2020)

Testbeds and Research Infrastructures for the Development of Networks and Communities
Bỡi: Guo, Song, et al.
Được phát hành: (2020)

Passive and Active Network Measurement
Được phát hành: (2020)

Inter-Domain Management
Bỡi: Bandara, Arosha K., et al.
Được phát hành: (2020)