| 書目名稱 | Formal Methods and Software Engineering |
| 副標(biāo)題 | 18th International C |
| 編輯 | Kazuhiro Ogata,Mark Lawford,Shaoying Liu |
| 視頻video | http://file.papertrans.cn/346/345745/345745.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 18th InternationalConference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks werecarefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability. |
| 出版日期 | Conference proceedings 2016 |
| 關(guān)鍵詞 | cloud computing; distributed systems; formal methods; model checking; self-adaptive systems |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-47846-3 |
| isbn_softcover | 978-3-319-47845-6 |
| isbn_ebook | 978-3-319-47846-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2016 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 13:28
發(fā)表于 2025-3-21 19:18:36
