Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications
Author :
Publisher : Springer Nature
Total Pages : 448
Release :
ISBN-10 : 9789819986644
ISBN-13 : 9819986648
Rating : 4/5 (648 Downloads)

Book Synopsis Dependable Software Engineering. Theories, Tools, and Applications by : Holger Hermanns

Download or read book Dependable Software Engineering. Theories, Tools, and Applications written by Holger Hermanns and published by Springer Nature. This book was released on 2023-12-14 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.


Dependable Software Engineering. Theories, Tools, and Applications Related Books

Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 358
Authors: Kim Guldstrand Larsen
Categories: Computers
Type: BOOK - Published: 2017-10-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, he
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 448
Authors: Holger Hermanns
Categories: Computers
Type: BOOK - Published: 2023-12-14 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 204
Authors: Xinyu Feng
Categories: Computers
Type: BOOK - Published: 2018-08-25 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, he
Dependable Software Engineering: Theories, Tools, and Applications
Language: en
Pages: 342
Authors: Martin Fränzle
Categories: Computers
Type: BOOK - Published: 2016-10-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETT
Dependable Software Engineering: Theories, Tools, and Applications
Language: en
Pages: 327
Authors: Xuandong Li
Categories: Computers
Type: BOOK - Published: 2015-10-16 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA