Liu, Zhiming.
Overview
| Works: | 0 works in 10 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun.
(Electronic resources)
Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(Electronic resources)
Engineering trustworthy software systems6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Gomes, Cláudio.; Liu, Zhiming.; SpringerLink (Online service)
(Electronic resources)
Show more
Fewer
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Computer Science, general.
Computer logic.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Electronic data processing
Medical informatics
Component software
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Computation by Abstract Devices.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Management of Computing and Information Systems.
Computer simulation.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer security
The Computing Profession.
Artificial Intelligence.
Computer science
Computer Science.
Computer Communication Networks.
Computer science.
Simulation and Modeling.
System Performance and Evaluation.
Computer System Implementation.
Natural Language Processing (NLP).
Information theory