Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Larsen, Kim Guldstrand (Editor), Sokolsky, Oleg (Editor), Wang, Ji (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10606
• Subjects: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Mathematical statistics.; Computer simulation.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Simulation and Modeling.; Probability and Statistics in Computer Science.

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 fro...