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. 
 - 1st ed. 2015. 
 - XIX, 317 p. 86 illus.  online resource. 
 - Programming and Software Engineering,  9409  2945-9168 ; .
 - 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/>Computer science.<br/>Computer simulation.<br/>Machine theory.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Computer Modelling.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1