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

Xuandong Li (u. a.)

ISBN 10: 3319259415 / ISBN 13: 9783319259413

Published by Springer, 2015

About this Item

Dependable Software Engineering: Theories, Tools, and Applications | First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings | Xuandong Li (u. a.) | Taschenbuch | xix | Englisch | 2015 | Springer | EAN 9783319259413 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.

Seller Inventory # 104209316

Bibliographic Details

• Title: Dependable Software Engineering: Theories, Tools, and Applications | First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
• Publisher: Springer
• Publication Date: 2015
• Language: English
• ISBN 10: 3319259415
• ISBN 13: 9783319259413
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 19D millimeters 235 millimeters width by 155 millimeters height by 19 millimeters depth
• Weight: 517 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.