Integrated Formal Methods Integrated Formal Methods

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Maurice H. ter Beek 및 Rosemary Monahan
    • US$64.99
    • US$64.99

출판사 설명

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.

The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings:  Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

장르
컴퓨터 및 인터넷
출시일
2022년
6월 1일
언어
EN
영어
길이
388
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
37.1
MB

비슷한 책 더 보기

Formal Methods Formal Methods
Formal Methods
2021년
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019년
Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021년
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2022년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2020년

Maurice H. ter Beek & Rosemary Monahan의 도서 더 보기

Journeys Between Formal Methods and the Railway Industry Journeys Between Formal Methods and the Railway Industry
Journeys Between Formal Methods and the Railway Industry
2026년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2025년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2022년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2020년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019년