Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
-
- 49٫99 US$
-
- 49٫99 US$
وصف الناشر
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٥
٢٦ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٦١
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٢٧
م.ب.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠٢٥
Coordination Models and Languages
٢٠٢٢
Integrated Formal Methods
٢٠٢٢
Formal Methods for Industrial Critical Systems
٢٠٢٠
From Software Engineering to Formal Methods and Tools, and Back
٢٠١٩
Formal Methods – The Next 30 Years
٢٠١٩