Languages
Zhang, Lijun.
Overview
| Works: | 2 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Discrete-time and discrete-space dynamical systems
by:
SpringerLink (Online service); Xie, Lihua.; Zhang, Kuize.; Zhang, Lijun.
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /
by:
(1998 :); Pang, Jun.; SpringerLink (Online service); Zhang, Lijun.
(Electronic resources)
Automated technology for verification and analysis13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
by:
(1998 :); Finkbeiner, Bernd.; Pu, Geguang.; SpringerLink (Online service); Zhang, Lijun.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part II /
by:
(1998 :); SpringerLink (Online service); Vojnar, Tomas.; Zhang, Lijun.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part I /
by:
(1998 :); SpringerLink (Online service); Vojnar, Tomas.; Zhang, Lijun.
(Electronic resources)
Subjects
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical and Computational Biology.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Automatic theorem proving
Computer software
Algorithm Analysis and Problem Complexity.
Control and Systems Theory.
Manufacturing, Machines, Tools, Processes.
System design
Logic Design.
Formal methods (Computer science)
Discrete-time systems.
Artificial Intelligence.
The Computing Profession.
Systems Theory, Control.
Computer Science.
System Performance and Evaluation.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
System analysis