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
    • ‏64٫99 US$
    • ‏64٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
١ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٣٨٨
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٣٧٫١
‫م.ب.‬

المزيد من الكتب المشابهة

Formal Methods Formal Methods
Formal Methods
٢٠٢١
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
٢٠١٩
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
٢٠١٨
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠٢١
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٢
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
٢٠٢٠

المزيد من كتب 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
٢٠٢٦
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠٢٥
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
٢٠٢٥
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
٢٠٢٢
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
٢٠٢٠
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
٢٠١٩