Text

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

---

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

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005

Publisher

Cham : Springer., 2015

Collation

xix, 317 pages

Language

English

ISBN/ISSN

9783319259420

Classification

005

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Computer Science

Specific Detail Info

-

Statement of Responsibility

-

Other Information

Cataloger

Kurnadi

Source

-

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment