| 书目名称 | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | | 副标题 | 7th International Sy | | 编辑 | Tiziana Margaria,Bernhard Steffen | | 视频video | | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and | | 出版日期 | Conference proceedings 2016 | | 关键词 | adaptive systems; compilers; formal methods; formal verification; model checking; model-driven engineerin | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-47166-2 | | isbn_softcover | 978-3-319-47165-5 | | isbn_ebook | 978-3-319-47166-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing AG 2016 |
The information of publication is updating
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques影响因子(影响力)
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques影响因子(影响力)学科排名
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques网络公开度
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques网络公开度学科排名
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques被引频次
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques被引频次学科排名
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques年度引用
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques年度引用学科排名
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques读者反馈
书目名称Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques读者反馈学科排名
|
|
|
发表于 2025-3-21 16:39:20
