| 书目名称 | Formal Methods for Industrial Critical Systems |
| 副标题 | 20th International W |
| 编辑 | Manuel Núñez,Matthias Güdemann |
| 视频video | |
| 概述 | Up-to-date results.Fast track conference proceedings.State-of-the-art report.Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .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.. |
| 出版日期 | Conference proceedings 2015 |
| 关键词 | Cyber-physical systems; Distributed systems; Embedded systems; Formal language definitions; Formal metho |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-19458-5 |
| isbn_softcover | 978-3-319-19457-8 |
| isbn_ebook | 978-3-319-19458-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 17:21:37
