Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Sommario

Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.

Dettagli sul prodotto

• Con la collaborazione di: Wei Dong (Editore), Talpin (Editore), Jean-Pierre Talpin (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 11.12.2022
• EAN: 9783031212123
• ISBN: 978-3-0-3121212-3
• Pagine: 235
• Dimensioni: 155 mm x 14 mm x 235 mm
• Illustrazioni: XXII, 235 p. 59 illus., 42 illus. in color.
• Serie: Lecture Notes in Computer Science
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica