EAN: 9783319259413

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
01.04.2025 um 00:08 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: