TY  - BOOK
AU  - Li,Xuandong
AU  - Liu,Zhiming
AU  - Yi,Wang
ED  - SpringerLink (Online service)
TI  - Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319259420
AV  - QA76.758 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Logic design
KW  - Computer simulation
KW  - Computer science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Simulation and Modeling
KW  - Mathematical Logic and Formal Languages
N2  - This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies
UR  - https://doi.org/10.1007/978-3-319-25942-0
ER  -