This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
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 PDF ● Trang 353 ● ISBN 9783642243103 ● Biên tập viên Uli Fahrenberg & Stavros Tripakis ● Nhà xuất bản Springer Berlin ● Thành phố Heidelberg ● Quốc gia DE ● Được phát hành 2011 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2247055 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM