Dependable Software Engineering: Theories, Tools, and Applications

Dependable Software Engineering: Theories, Tools, and Applications
Author :
Publisher : Springer
Total Pages : 327
Release :
ISBN-10 : 9783319259420
ISBN-13 : 3319259423
Rating : 4/5 (423 Downloads)

Book Synopsis Dependable Software Engineering: Theories, Tools, and Applications by : Xuandong Li

Download or read book Dependable Software Engineering: Theories, Tools, and Applications written by Xuandong Li and published by Springer. This book was released on 2015-10-16 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Dependable Software Engineering: Theories, Tools, and Applications Related Books

Dependable Software Engineering: Theories, Tools, and Applications
Language: en
Pages: 327
Authors: Xuandong Li
Categories: Computers
Type: BOOK - Published: 2015-10-16 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 214
Authors: Jun Pang
Categories: Computers
Type: BOOK - Published: 2020-11-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2
Dependable Software Engineering: Theories, Tools, and Applications
Language: en
Pages: 342
Authors: Martin Fränzle
Categories: Computers
Type: BOOK - Published: 2016-10-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETT
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 327
Authors: Shengchao Qin
Categories: Computers
Type: BOOK - Published: 2021-11-18 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 202
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 249
Authors: Wei Dong
Categories: Computers
Type: BOOK - Published: 2022-12-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022