語系
Zhan, Naijun.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
Wang, Ji.; Zhan, Naijun.; Jones, Cliff.; Zhou, Chaochen, (1937-,); SpringerLink (Online service)
(書目-語言資料,印刷品)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
by:
SpringerLink (Online service); Jones, Cliff.; Wang, Ji.; Zhan, Naijun.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings /
by:
Zhan, Naijun.; Kapur, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Franzle, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal verification of Simulink/Stateflow diagrams = a deductive approach /
by:
Zhan, Naijun.; Zhao, Hengjun.; Wang, Shuling.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
by:
Kapur, Deepak.; Zhan, Naijun.; SpringerLink (Online service); Fränzle, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
Zhan, Naijun.; Huisman, Marieke.; SpringerLink (Online service); Păsăreanu, Corina.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
Păsăreanu, Corina.; SpringerLink (Online service); Zhan, Naijun.; Huisman, Marieke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Artificial intelligence.
Software engineering.
Theory of Computation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Electronic Circuits and Devices.
Artificial Intelligence.
Engineering.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Circuits and Systems.
Computer logic.
System Performance and Evaluation.
Computers, Special purpose.
Computer Science.
Computer simulation.
Special purpose computers.
Probability and Statistics in Computer Science.
Mathematical statistics.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computer science.
Computer system failures.
Programming languages (Electronic computers).
Computer software