Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan
Contributor(s): ter Beek, Maurice H., editor literario | Monahan, Rosemary, editor literario
Material type:
E-bookSeries: (Lecture Notes in Computer Science, 1611-3349; 13274).Publisher: Cham : Springer International Publising, 2022Edition: First edition 2022.Description: 1 recurso en línea (XV, 373 páginas) : 120 ilustraciones, 48 ilustraciones a color.ISBN: 9783031077272.Subject: Lenguajes formales -- Congresos y asambleas
Online resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
Summary: 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.
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA76.9.F67 2022 EB (Browse shelf(Opens below)) | Acceso electrónico | eBook.22092055 |
Total holds: 0
Browsing Madrid Digital shelves, Shelving location: Acceso Electrónico (UEM) Close shelf browser (Hides shelf browser)
| QA76.9 .F38 C378 2015 EB Resilient computer system design | QA76.9.F38 S334 2016 EB Software Design for Resilient Computer Systems | QA76.9 .F67 2021 EB Composing Model-Based Analysis Tools | QA76.9.F67 2022 EB Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings | QA76.9.F67 2022 EB NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings | QA76.9.F67 F676 2016 EB Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers | QA76.9.F67 F676 2018 EB Formal Methods for Safety and Security Case Studies for Aerospace Applications |
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.
There are no comments on this title.
Log in to your account to post a comment.