| 书目名称 | Formal Methods and Software Engineering |
| 副标题 | 18th International C |
| 编辑 | Kazuhiro Ogata,Mark Lawford,Shaoying Liu |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 18th InternationalConference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks werecarefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. |
| 出版日期 | Conference proceedings 2016 |
| 关键词 | cloud computing; distributed systems; formal methods; model checking; self-adaptive systems |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-47846-3 |
| isbn_softcover | 978-3-319-47845-6 |
| isbn_ebook | 978-3-319-47846-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2016 |
发表于 2025-3-21 19:18:36
