Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
Published on 10. November 2019
Book
Paperback/Softback
XIII, 139 pages
978-3-030-35539-5 (ISBN)
Description
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
More details
Series
Edition
2019 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
112 s/w Abbildungen, 23 farbige Abbildungen
XIII, 139 p. 135 illus., 23 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 9 mm
Weight
248 gr
ISBN-13
978-3-030-35539-5 (9783030355395)
DOI
10.1007/978-3-030-35540-1
Schweitzer Classification
Other editions
Additional editions
Nan Guan | Joost-Pieter Katoen | Jun Sun
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
E-Book
11/2019
Springer
€53.49
Available for download