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
    • $64.99

Descripción editorial

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.

GÉNERO
Informática e Internet
PUBLICADO
2022
1 de junio
IDIOMA
EN
Inglés
EXTENSIÓN
388
Páginas
EDITORIAL
Springer International Publishing
VENDEDOR
Springer Nature B.V.
TAMAÑO
37.1
MB

Más libros como este

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

Más libros de 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