Mathematics in Software Reliability and Quality Assurance

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Tadashi Dohi, Shaoying Liu

Ngôn ngữ: eng

ISBN-13: 978-3036537993

Ký hiệu phân loại:

Thông tin xuất bản: Basel : MDPI - Multidisciplinary Digital Publishing Institute, 2022

Mô tả vật lý: 1 electronic resource (218 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 249866

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH