| 書目名稱 | Formal Methods: Foundations and Applications |
| 副標(biāo)題 | 13th Brazilian Sympo |
| 編輯 | Jim Davies,Leila Silva,Adenilso Simao |
| 視頻video | http://file.papertrans.cn/346/345856/345856.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 06:26
發(fā)表于 2025-3-21 17:44:39
