ENGLISH

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

By Zhiming Liu , Wang Yi (eds.) , Xuandong Li

Book information

Publisher
Springer International Publishing
Year
2015
ISBN
978-3-319-25941-3, 978-3-319-25942-0
DOI
10.1007/978-3-319-25942-0
Language
english
Format
PDF
Filesize
24 MB (25169198 bytes)
Series
Lecture Notes in Computer Science 9409
Edition
1
Pages
XIX, 317\325
Time added
2015-11-25 16:51:03
Software Engineering; Logics and Meanings of Progr

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.

Similar books