Del 9409
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
537 kr
650 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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.
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
537 kr
Wang Yi, Tiziana Margaria
1 455 kr
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
724 kr
Tiziana Margaria, Wang Yi
Häftad, 2001
1 110 kr
Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog
894 kr
