Dependable Software Engineering: Theories, Tools, and Applications  First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /  [electronic resource] : 
edited by Xuandong Li, Zhiming Liu, Wang Yi. 
 - XIX, 317 p. 86 illus.  online resource. 
 - Lecture Notes in Computer Science,  9409  0302-9743 ; .
 - Lecture Notes in Computer Science,  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/>Computer science.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.<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 
<br/><br/><label>Dewey Class. No.: </label>005.1