Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fränzle, Martin (Editor), Kapur, Deepak (Editor), Zhan, Naijun (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Lecture Notes in Computer Science, 9984
• 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 refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and sele...