Pang, Jun.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Computational methods in systems biology21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023 : proceedings /
by:
(1998 :); Niehren, Joachim.; Pang, Jun.; SpringerLink (Online service)
(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)
Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
(1998 :); Merz, Stephan.; Pang, Jun.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logic in AI.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computational and Systems Biology.
Biological Models.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Systems biology
Computer System Implementation.
Computational biology