Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Author :
Publisher : Springer Nature
Total Pages : 174
Release :
ISBN-13 : 9783031660214
ISBN-10 : 3031660218
Rating : 4/5 (18 Downloads)

Book Synopsis Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops by : Alessandro Aldini

Download or read book Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops written by Alessandro Aldini and published by Springer Nature. This book was released on with total page 174 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops Related Books

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Language: en
Pages: 174
Authors: Alessandro Aldini
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Language: en
Pages: 424
Authors: Paolo Masci
Categories: Computers
Type: BOOK - Published: 2023-02-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Language: en
Pages: 0
Authors: Alessandro Aldini
Categories: Computers
Type: BOOK - Published: 2024-08-26 - Publisher: Springer

DOWNLOAD EBOOK

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Metho
Rigorous State-Based Methods
Language: en
Pages: 386
Authors: Uwe Glässer
Categories: Mathematics
Type: BOOK - Published: 2023-05-14 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Language: en
Pages: 237
Authors: Birgit Milius
Categories: Computers
Type: BOOK - Published: 2023-09-26 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verifica