| 书目名称 | Formal Methods: Foundations and Applications |
| 副标题 | 13th Brazilian Sympo |
| 编辑 | Jim Davies,Leila Silva,Adenilso Simao |
| 视频video | |
| 概述 | up-to-date results.fast track conference proceedings.state-of-the-art report |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains. |
| 出版日期 | Conference proceedings 2011 |
| 关键词 | model checking; model transformation; program verification; runtime verification; systems modeling |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-19829-8 |
| isbn_softcover | 978-3-642-19828-1 |
| isbn_ebook | 978-3-642-19829-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer Berlin Heidelberg 2011 |
发表于 2025-3-21 17:44:39
