| 書目名稱 | Formal Methods: Foundations and Applications |
| 副標題 | 18th Brazilian Sympo |
| 編輯 | Márcio Cornélio,Bill Roscoe |
| 視頻video | http://file.papertrans.cn/346/345851/345851.mp4 |
| 概述 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-11 14:50
發(fā)表于 2025-3-21 16:26:21
