Download E-books Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science) PDF

By Martin Fränzle, Deepak Kapur, Naijun Zhan

This ebook constitutes the refereed lawsuits of the second one overseas Symposium on liable software program Engineering: Theories, instruments, and purposes, SETTA 2016, held in Beijing, China, in November 2016.

The 17 complete papers awarded including three brief papers have been conscientiously reviewed and chosen from fifty eight submissions. The goal of the symposium is to compile foreign researchers and practitioners within the box of software program expertise. Its concentration is on formal tools and complex software program applied sciences, specifically for engineering complicated, large-scale artifacts like cyber-physical platforms, networks of items, company structures, or cloud-based services. 

Show description

Read or Download Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science) PDF

Similar Software books

Extra info for Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)

Show sample text content

Rated 4.67 of 5 – based on 47 votes