| 书目名称 | Formal Methods and Software Engineering |
| 副标题 | 19th International C |
| 编辑 | Zhenhua Duan,Luke Ong |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi‘an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.. |
| 出版日期 | Conference proceedings 2017 |
| 关键词 | software engineering; verification; validation; formal specification and modeling; software security; sof |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-68690-5 |
| isbn_softcover | 978-3-319-68689-9 |
| isbn_ebook | 978-3-319-68690-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2017 |
发表于 2025-3-21 19:52:33
