Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings Paperback / softback
Edited by Xuandong Li, Zhiming Liu, Wang Yi
Part of the Programming and Software Engineering series
Paperback / softback
- Information
Description
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.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:317 pages, 86 Illustrations, black and white; XIX, 317 p. 86 illus.
- Publisher:Springer International Publishing AG
- Publication Date:27/10/2015
- Category:
- ISBN:9783319259413
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:317 pages, 86 Illustrations, black and white; XIX, 317 p. 86 illus.
- Publisher:Springer International Publishing AG
- Publication Date:27/10/2015
- Category:
- ISBN:9783319259413
