Liu, Zhiming.

概要

作品:	0 作品在 10 項出版品 1 種語言

書目資訊

Engineering trustworthy software systemsfirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (1998 :); Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

Formal Methods and Software Engineering (vol. # 4260)8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / by: (1998 :); He, Jifeng.; Liu, Zhiming.; SpringerLink (Online service) (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (1998 :); Li, Xuandong.; Liu, Zhiming.; SpringerLink (Online service); Yi, Wang. (書目-電子資源)

Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

Theoretical aspects of computing - ICTAC 202219th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings / by: (1998 :); Liu, Zhiming.; Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service) (書目-電子資源)

Automated technology for verification and analysis7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (1998 :); Liu, Zhiming.; Ravn, Anders P.; SpringerLink (Online service) (書目-電子資源)

Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

Foundations of health informatics engineering and systemsfirst International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011 : revised selected papers / by: (1998 :); Liu, Zhiming.; SpringerLink (Online service); Wassyng, Alan. (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2004First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: (1998 :); Araki, Keijiro.; Liu, Zhiming.; SpringerLink (Online service) (書目-電子資源)

Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

主題