| 书目名称 | Software Engineering and Formal Methods |
| 副标题 | 12th International C |
| 编辑 | Dimitra Giannakopoulou,Gwen Salaün |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014..The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems. |
| 出版日期 | Conference proceedings 2014 |
| 关键词 | adaptive systems; automata learning; automated static analysis; component-based systems; dynamic analysi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-10431-7 |
| isbn_softcover | 978-3-319-10430-0 |
| isbn_ebook | 978-3-319-10431-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2014 |
发表于 2025-3-21 17:08:30
