TY - GEN digital ID - 131711248 TI - Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings AU - Li, Xuandong AU - Liu, Zhiming AU - Yi, Wang PY - 2015 SN - 9783319259420 9783319259413 9783319259437 PB - Cham Springer International Publishing DB - UniCat KW - Mathematical logic KW - Logic KW - Computer science KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - vormgeving KW - computers KW - mineralen (chemie) KW - simulaties KW - programmeren (informatica) KW - mijnbouw KW - wiskunde KW - software engineering KW - logica UR - https://www.unicat.be/uniCat?func=search&query=sysid:131711248 AB - 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. ER -