Dependable Software Engineering First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
1st ed. 2015
Series:
Lecture Notes in Computer Science (Book 9409)
Author:
Xuandong Li, Zhiming Liu, Wang Yi
ISBN:
9783319259420
Related ISBNs:
9783319259413
Publisher:
Springer International Publishing
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2019-09-14
Usage restrictions:
Copyright
Copyright date:
2015
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy