Andere Kunden interessierten sich auch für
![Formal Methods for Industrial Critical Systems]( "Formal Methods for Industrial Critical Systems")
Formal Methods for Industrial Critical Systems36,99 €![NASA Formal Methods]( "NASA Formal Methods")
NASA Formal Methods37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Static Analysis]( "Static Analysis")
Static Analysis37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Correct System Design]( "Correct System Design")
Correct System Design36,99 €![Formal Methods for Industrial Critical Systems]( "Formal Methods for Industrial Critical Systems")
Formal Methods for Industrial Critical Systems36,99 €
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.
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.