I agree that this site is using cookies. You can find further informations here.
X
Zhiming Liu
23  results:
E-Books X
Search for persons X
?
1

Theoretical Aspects of Computing – ICTAC 2022: 19th Interna.. 

Lecture Notes in Computer Science, 13572
Seidl, Helmut ; Liu, Zhiming ; Pasareanu, Corina S - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
2

Engineering Trustworthy Software Systems: 5th International.. 

Programming and Software Engineering, 12154
Bowen, Jonathan P ; Liu, Zhiming ; Zhang, Zili - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
3

Engineering Trustworthy Software Systems: 4th International.. 

Programming and Software Engineering, 11430
Bowen, Jonathan P ; Liu, Zhiming ; Zhang, Zili - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
4

Engineering Trustworthy Software Systems 

Third International School, SETSS 2017, Chongqing, China, A...  Programming and Software Engineering ; 11174;SpringerLink, Bücher
Liu, Zhiming ; Bowen, Jonathan P. ; Zhang, Zili , 2018
Link: https://doi.org/10.1007/..
 
?
5

Engineering Trustworthy Software Systems 

Second International School, SETSS 2016, Chongqing, China, ...  Lecture Notes in Computer Science ; 10215;SpringerLink, Bücher
Liu, Zhiming ; Zhang, Zili ; Bowen, Jonathan P. , 2017
Link: https://doi.org/10.1007/..
 
?
6

Engineering Trustworthy Software Systems 

First International School, SETSS 2014, Chongqing, China, S...  Lecture Notes in Computer Science ; 9506;Programming and Software Engineering ; 9506;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Liu, Zhiming ; Zhang, Zili - 1st ed. 2016 . , 2016
Link: https://doi.org/10.1007/..
 
?
7

Dependable Software Engineering: Theories, Tools, and Appli.. 

First International Symposium, SETTA 2015, Nanjing, China, ...  Lecture Notes in Computer Science ; 9409;SpringerLink, Bücher
Liu, Zhiming ; Yi, Wang - 1st ed. 2015 . , 2015
Link: https://doi.org/10.1007/..
 
?
8

Formal Aspects of Component Software 

10th International Symposium, FACS 2013, Nanchang, China, O...  Lecture Notes in Computer Science ; 8348;SpringerLink, Bücher
Fiadeiro, José Luiz ; Liu, Zhiming ; Xue, Jinyun , 2014
Link: https://doi.org/10.1007/..
 
?
9

Mechanical and electronics engineering VI: selected, peer r.. 

Applied Mechanics and Materials, Volume 654
Liu, Zhiming , 2014
Link: https://search.ebscohost..
 
?
10

Theoretical Aspects of Computing – ICTAC 2013 

10th International Colloquium, Shanghai, China, September 4...  Lecture Notes in Computer Science ; 8049;SpringerLink, Bücher
Liu, Zhiming ; Zhu, Huibiao ; Woodcock, Jim , 2013
Link: https://doi.org/10.1007/..
 
?
11

Unifying Theories of Programming and Formal Engineering Met.. 

International Training School on Software Engineering, Held...  Lecture Notes in Computer Science ; 8050;SpringerLink, Bücher
Liu, Zhiming ; Zhu, Huibiao ; Woodcock, Jim , 2013
Link: https://doi.org/10.1007/..
 
?
12

Theories of Programming and Formal Methods 

Essays Dedicated to Jifeng He on the Occasion of His 70th B...  Lecture Notes in Computer Science ; 8051;SpringerLink, Bücher
Liu, Zhiming ; Zhu, Huibiao ; Woodcock, Jim , 2013
Link: https://doi.org/10.1007/..
 
?
13

Foundations of Health Informatics Engineering and Systems 

First International Symposium, FHIES 2011, Johannesburg, So...  Lecture Notes in Computer Science ; 7151;SpringerLink, Bücher
Liu, Zhiming ; Wassyng, Alan , 2012
Link: https://doi.org/10.1007/..
 
?
14

Bioreactors: design, properties, and applications 

Biotechnology in agriculture, industry and medicine
Antolli, Paolo G ; Liu, Zhiming , 2012
Link: https://search.ebscohost..
 
?
15

Automated technology for verification and analysis 

7th international symposium, ATVA 2009, Macao, China, Octob...  Lecture notes in computer science ; 5799
Liu, Zhiming ; Ravn, Anders P. , 2009
Link: http://dx.doi.org/10.100..
 
1-15