| 書(shū)目名稱 | NASA Formal Methods | | 副標(biāo)題 | 4th International Sy | | 編輯 | Alwyn E. Goodloe,Suzette Person | | 視頻video | http://file.papertrans.cn/661/660028/660028.mp4 | | 概述 | Fast-track conference proceedings.State-of-the-art research.Up-to-date results | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques. | | 出版日期 | Conference proceedings 2012 | | 關(guān)鍵詞 | cyber security; formal techniques; formalism; model checking; symbolic execution | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-28891-3 | | isbn_softcover | 978-3-642-28890-6 | | isbn_ebook | 978-3-642-28891-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2012 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 22:07
發(fā)表于 2025-3-21 18:36:09
