Engineering Trustworthy Software Systems: 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures (Lecture Notes in Computer Science, 16481) - Softcover

 
9789819586165: Engineering Trustworthy Software Systems: 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures (Lecture Notes in Computer Science, 16481)
Softcover
ISBN 10: 981958616X ISBN 13: 9789819586165
Verlag: Springer, 2026

Inhaltsangabe

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. 

 

 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Jonathan P. Bowen is an Emeritus Professor of Computing at London South Bank University, UK, an adjunct professor at Southwest University, Chongqing, China, and Chairman of Museophile Limited. His career spans academia and industry, with extensive contributions to formal methods, safety‑critical systems, and the history of computing.

Andrea Turrini is a researcher at the Institute of Software, Chinese Academy of Sciences, Beijing, China. His research interests lie in the area of formal methods, with a particular focus on modeling and verification of uncertain systems.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2026
Sprache
Englisch
ISBN 10 
981958616X
ISBN 13 
9789819586165
Einband
Taschenbuch
Anzahl der Seiten
304
Herausgeber
Bowen Jonathan P., Turrini Andrea
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland