This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
€51.16
表中的内容
Applications.- Protocols.- Specification and analysis.- Verification.
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● 网页 213 ● ISBN 9783319194585 ● 编辑 Manuel Núñez & Matthias Güdemann ● 出版者 Springer International Publishing ● 市 Cham ● 国家 CH ● 发布时间 2015 ● 下载 24 个月 ● 货币 EUR ● ID 4456083 ● 复制保护 社会DRM
来自同一作者的更多电子书 / 编辑
2,858 此类电子书
