Author |
: Wei Dong |
Publisher |
: Springer Nature |
Total Pages |
: 249 |
Release |
: 2022-12-10 |
ISBN-10 |
: 9783031212130 |
ISBN-13 |
: 3031212134 |
Rating |
: 4/5 (30 Downloads) |
Book Synopsis Dependable Software Engineering. Theories, Tools, and Applications by : Wei Dong
Download or read book Dependable Software Engineering. Theories, Tools, and Applications written by Wei Dong and published by Springer Nature. This book was released on 2022-12-10 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.