Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings /
This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissi...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| الطبعة: | 1st ed. 2025. |
| سلاسل: | Lecture Notes in Computer Science,
15593 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.1007/978-3-031-87054-5 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices. |
|---|---|
| وصف مادي: | X, 187 p. 45 illus., 31 illus. in color. online resource. |
| ردمك: | 9783031870545 |
| تدمد: | 1611-3349 ; |
| DOI: | 10.1007/978-3-031-87054-5 |