Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

Tác giả: Constantin Enea, Akash Lal

Ngôn ngữ: eng

ISBN-13: 978-3031377020

ISBN-13: 978-3031377037

ISBN: 978-3-031-37703-7

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

Thông tin xuất bản: Cham Springer Nature 2023

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

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

ID: 374550

 The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic
  concurrency
  cyber-physical and hybrid systems
  synthesis
  Part II: Decision procedures
  model checking
  neural networks and machine learning
  Part II: Probabilistic systems
  security and quantum systems
  software verification.
1. 
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