Tekijä: Stan Z. Li (ed.); Jianhuang Lai (ed.); Tieniu Tan (ed.); Guocan Feng (ed.); Yunhong Wang (ed.) Kustantaja: Springer (2004) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Weijun Wang (ed.); Yanhui Li (ed.); Zhao Duan (ed.); Li Yan (ed.); Hongxiu Li (ed.); Xiaoxi Yang (ed.) Kustantaja: Springer (2010) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Weijun Wang (ed.); Yanhui Li (ed.); Zhao Duan (ed.); Li Yan (ed.); Hongxiu Li (ed.); Xiaoxi Yang (ed.) Kustantaja: Springer (2010) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Shipeng Li (ed.); Abdulmotaleb El Saddik (ed.); Meng Wang (ed.); Tao Mei (ed.); Nicu Sebe (ed.); Shuicheng Yan (ed.); Hong Kustantaja: Springer (2013) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Jianyong Wang (ed.); Wojciech Cellary (ed.); Dingding Wang (ed.); Hua Wang (ed.); Shu-Ching Chen (ed.); Tao Li (ed.); Zhan Kustantaja: Springer (2015) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Shihua Li (ed.); Xinghuo Yu (ed.); Leonid Fridman (ed.); Zhihong Man (ed.); Xiangyu Wang (ed.) Kustantaja: Springer (2017) Saatavuus: Noin 17-20 arkipäivää
Springer Sivumäärä: 317 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2015, 27.10.2015 (lisätietoa) Kieli: Englanti
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.