| 书目名称 | Formal Methods: Foundations and Applications |
| 副标题 | 18th Brazilian Sympo |
| 编辑 | Márcio Cornélio,Bill Roscoe |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015...The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.. |
| 出版日期 | Conference proceedings 2016 |
| 关键词 | formal languages; models of computation; semantics and reasoning; software system models; system descrip |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-29473-5 |
| isbn_softcover | 978-3-319-29472-8 |
| isbn_ebook | 978-3-319-29473-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2016 |
发表于 2025-3-21 16:26:21
