| 书目名称 | NASA Formal Methods | | 副标题 | 4th International Sy | | 编辑 | Alwyn E. Goodloe,Suzette Person | | 视频video | | | 概述 | Fast-track conference proceedings.State-of-the-art research.Up-to-date results | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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 | | 关键词 | 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
|
|
发表于 2025-3-21 18:36:09
