Dependable Software Engineering: Theories, Tools, and Applications :  First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / 
edited by Xuandong Li, Zhiming Liu, Wang Yi. 
 - 1 online resource 
 - Programming and Software Engineering ;  9409 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319259420 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-25942-0  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Logic design.<br/>Computer simulation.<br/>Computer science.<br/>Software Engineering.<br/>Logics and Meanings of Programs.<br/>Simulation and Modeling.<br/>Mathematical Logic and Formal Languages.
<br/><br/><label>LC Class. No.: </label>QA76.758