| 書目名稱 | Formal Methods for Industrial Critical Systems |
| 副標(biāo)題 | 20th International W |
| 編輯 | Manuel Nú?ez,Matthias Güdemann |
| 視頻video | http://file.papertrans.cn/346/345785/345785.mp4 |
| 概述 | Up-to-date results.Fast track conference proceedings.State-of-the-art report.Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015..The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.. |
| 出版日期 | Conference proceedings 2015 |
| 關(guān)鍵詞 | Cyber-physical systems; Distributed systems; Embedded systems; Formal language definitions; Formal metho |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-19458-5 |
| isbn_softcover | 978-3-319-19457-8 |
| isbn_ebook | 978-3-319-19458-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2015 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 17:37
發(fā)表于 2025-3-21 17:21:37
