Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Published on 27. October 2015
Book
Paperback/Softback
XIX, 317 pages
978-3-319-25941-3 (ISBN)
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.
More details
Series
Edition
1st ed. 2015
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Research
Illustrations
86 s/w Abbildungen
XIX, 317 p. 86 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 19 mm
Weight
517 gr
ISBN-13
978-3-319-25941-3 (9783319259413)
DOI
10.1007/978-3-319-25942-0
Schweitzer Classification
Other editions
Additional editions
Xuandong Li | Zhiming Liu | Wang Yi
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
E-Book
10/2015
Springer
€50.28
Available for download