Engineering Trustworthy Software Systems: 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures - Couverture souple

 
9789819586165: Engineering Trustworthy Software Systems: 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Couverture souple
ISBN 10 : 981958616X ISBN 13 : 9789819586165
Editeur : Springer Verlag, Singapore, 2026

Synopsis

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. 

 

 

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Nnn

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag, Singapore
Date d'édition
2026
Langue
anglais
ISBN 10 
981958616X
ISBN 13 
9789819586165
Reliure
Broché
Nombre de pages
304
Éditeur
Bowen Jonathan P., Turrini Andrea
Coordonnées du fabricant
KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne