| 书目名称 | Software Engineering and Formal Methods |
| 副标题 | 13th International C |
| 编辑 | Radu Calinescu,Bernhard Rumpe |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015..The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation. |
| 出版日期 | Conference proceedings 2015 |
| 关键词 | Adaptive systems; Automata learning; Automated static analysis; Component-based systems; Concurrency; Cyb |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-22969-0 |
| isbn_softcover | 978-3-319-22968-3 |
| isbn_ebook | 978-3-319-22969-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 19:44:06
