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 und Rosemary Monahan
    • 64,99 €
    • 64,99 €

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2022
1. Juni
SPRACHE
EN
Englisch
UMFANG
388
Seiten
VERLAG
Springer International Publishing
GRÖSSE
37,1
 MB

Mehr Bücher von Maurice H. ter Beek & Rosemary Monahan

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
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2016
Architecting Dependable Systems VI Architecting Dependable Systems VI
Architecting Dependable Systems VI
2009