Del 9409
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
543 kr
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
E-bok
PDF, Engelska, 2015635 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Wang Yi, Tiziana Margaria
E-bok
20031 408 kr
Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
732 kr
Del 13572
Theoretical Aspects of Computing – ICTAC 2022
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
Häftad, 2022
565 kr
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
Häftad, 2001
1 122 kr
Model Checking, Synthesis, and Learning
Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog
E-bok
2021865 kr