Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures| By: | null |
| Publisher: | Springer Nature |
| Print ISBN: | 9789819586165 |
| eText ISBN: | 9789819586172 |
| Edition: | 0 |
| Copyright: | 2026 |
| Format: | Reflowable |
Lifetime - $62.14
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025. The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.