Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings - Larsen, Kim Guldstrand; Sokolsky, Oleg.; Wang, Ji.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
Keywords: Software engineering; Computer logic; Mathematical logic; Computer simulation; Mathematical statistics; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Simulation and Modeling; Probability and Statistics in Computer Science