Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10606)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SETTA: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
Conference proceedings info: SETTA 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Probabilistic and Statistical Analysis
-
Front Matter
-
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.
Editors and Affiliations
-
Aalborg University, Aalborg, Denmark
Kim Guldstrand Larsen
-
University of Pennsylvania, Philadelphia, USA
Oleg Sokolsky
-
National University of Defense Technology, Changsha, China
Ji Wang
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