Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... (Lecture Notes in Computer Science, 10606) - Softcover

 
9783319694825: Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... (Lecture Notes in Computer Science, 10606)
Softcover
ISBN 10: 3319694820 ISBN 13: 9783319694825
Publisher: Springer, 2017

Synopsis

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
2017.
The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319694820
ISBN 13 
9783319694825
Binding
Paperback
Edition number
1
Number of pages
369
Editor
Larsen Kim Guldstrand, Sokolsky Oleg, Wang Ji