Download E-books Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Lecture Notes in Computer Science) PDF

This ebook constitutes the refereed lawsuits of the 1st foreign Symposium on responsible software program Engineering: Theories, instruments, and functions, SETTA 2015, held in Nanjing, China, in November 2015.

The 20 complete papers offered including three invited talks have been conscientiously reviewed and chosen from 60 submissions.The papers are prepared on topical sections on probabilistic structures; hybrid and cyber-physical structures; trying out, simulation and inference; bisimulation and correctness; layout and implementation; symbolic execution and invariants; and verification and case studies.

Show description

Read Online or Download Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Lecture Notes in Computer Science) PDF

Best Software books

Additional info for Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Lecture Notes in Computer Science)

Show sample text content

Rated 4.18 of 5 – based on 31 votes