Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10606)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
- SETTA: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
Conference proceedings info: SETTA 2017.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (20 papers)
-
Modeling and Verification
-
Formalization
Other volumes
-
Dependable Software Engineering. Theories, Tools, and Applications
Editors and Affiliations
Bibliographic Information
Book Title: Dependable Software Engineering. Theories, Tools, and Applications
Book Subtitle: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Editors: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-69483-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-69482-5Published: 17 October 2017
eBook ISBN: 978-3-319-69483-2Published: 17 October 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 351
Number of Illustrations: 74 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Simulation and Modeling, Probability and Statistics in Computer Science