This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
€57.88
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783030317843 ● Biên tập viên Yu-Fang Chen & Chih-Hong Cheng ● Nhà xuất bản Springer International Publishing ● Được phát hành 2019 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 7277903 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
16.845 Ebooks trong thể loại này
