| 书目名称 | Software Engineering and Formal Methods |
| 副标题 | 11th International C |
| 编辑 | Robert M. Hierons,Mercedes G. Merayo,Mario Bravett |
| 视频video | |
| 概述 | Conference proceedings of the International Conference on Software Engineering and Formal Methods, SEFM 2013 |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, andsynthesis and transformation. |
| 出版日期 | Conference proceedings 2013 |
| 关键词 | model-checking; ontology; requirements engineering; temporal logic; verification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-40561-7 |
| isbn_softcover | 978-3-642-40560-0 |
| isbn_ebook | 978-3-642-40561-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2013 |
发表于 2025-3-21 16:39:10
