The Leading eBooks Store Online 4,226,104 members ⚫ 1,419,518 ebooks

New to eBooks.com?

Learn more

Dependable Software Engineering: Theories, Tools, and Applications

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

by Xuandong Li(ed.) ; Zhiming Liu(ed.) ; Wang Yi(ed.)
Dependable Software Engineering: Theories, Tools, and Applications by Xuandong Li
Buy this eBook
US$ 59.99
(If any tax is payable it will be calculated and shown at checkout.)

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.

Springer International Publishing; October 2015
325 pages; ISBN 9783319259420
Read online, or download in secure PDF format
Title: Dependable Software Engineering: Theories, Tools, and Applications
Author: Xuandong Li; Zhiming Liu; Wang Yi