Lectures on Runtime Verification

Mã QR

Lectures on Runtime Verification

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Bartocci, Ezio, Falcone, Yliès
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Software Engineering The Computing Profession
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86536
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ự

Runtime Verification
Được phát hành: (2020)

Runtime Verification
Được phát hành: (2020)

Runtime Verification
Bỡi: Sokolsky, Oleg, et al.
Được phát hành: (2020)

Runtime Verification
Bỡi: Lahiri, Shuvendu, et al.
Được phát hành: (2020)

Requirements Engineering: Foundation for Software Quality
Bỡi: Grünbacher, Paul, et al.
Được phát hành: (2020)

Financial Cryptography and Data Security
Bỡi: Goldberg, Ian, et al.
Được phát hành: (2020)

The Student Supercomputer Challenge Guide
Bỡi: Community, ASC
Được phát hành: (2020)

Software Verification and Analysis
Bỡi: Laski, Janusz, et al.
Đượ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)

Computer Aided Verification
Bỡi: Chockler, Hana, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Chockler, Hana, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Majumdar, Rupak, et al.
Được phát hành: (2020)

Numerical Software Verification
Bỡi: Bogomolov, Sergiy, et al.
Được phát hành: (2020)

Numerical Software Verification
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Dillig, Isil, et al.
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Bỡi: Strichman, Ofer, et al.
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Bỡi: Yorav, Karen
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Được phát hành: (2020)

Hardware and Software, Verification and Testing
Bỡi: Bin, Eyal, et al.
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Dillig, Isil, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Dillig, Isil, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Cook, Byron, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Bouajjani, Ahmed, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Logozzo, Francesco, et al.
Được phát hành: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Được phát hành: (2020)

Automated Technology for Verification and Analysis
Bỡi: D'Souza, Deepak, et al.
Được phát hành: (2020)

Automated Technology for Verification and Analysis
Bỡi: Lahiri, Shuvendu K., et al.
Được phát hành: (2020)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Software Verification and Validation
Bỡi: Fisher, Marcus S.
Được phát hành: (2020)

Verification and Evaluation of Computer and Communication Systems
Bỡi: Barkaoui, Kamel, et al.
Được phát hành: (2020)

Software Engineering: Specification, Implementation, Verification
Bỡi: Alagić, Suad
Được phát hành: (2020)

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

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2020)

Management controls for professional firms
Bỡi: Jones, Reginald L
Được phát hành: (1968)

Les tertiaires
Bỡi: Praderie, Michel
Được phát hành: (1968)

CIOs and the Digital Transformation. 1st ed. 2018
Bỡi: Bongiorno, Giorgio, et al.
Được phát hành: (2020)

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Bỡi: Ramesh, S., et al.
Được phát hành: (2020)

Services marketing in Asia
Được phát hành: (2005)