Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

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

Tác giả: Alexander Nadel, Kristin Yvonne Rozier

Ngôn ngữ: eng

ISBN: 2023/isbn.978-3-85448-060-0

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

Thông tin xuất bản: TU Wien Academic Press 2023

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

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

ID: 375947

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
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