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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Larsen, Kim Guldstrand (Επιμελητής έκδοσης), Sokolsky, Oleg (Επιμελητής έκδοσης), Wang, Ji (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10606
• Θέματα: 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...

Πίνακας περιεχομένων:

• Probabilistic and Statistical Analysis
• Timed and Hybrid Systems
• Program Analysis
• Modeling and Verification.- Formalization
• Tools.