Languages
Zhan, Naijun.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Formal verification of Simulink/Stateflow diagramsa deductive approach /
by:
SpringerLink (Online service); Wang, Shuling.; Zhan, Naijun.; Zhao, Hengjun.
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings /
by:
(1998 :); Franzle, Martin.; Kapur, Deepak.; SpringerLink (Online service); Zhan, Naijun.
(Electronic resources)
Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
Jones, Cliff.; SpringerLink (Online service); Wang, Ji.; Zhan, Naijun.; Zhou, Chaochen, (1937-,)
(Electronic resources)
Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings /
by:
(1998 :); Huisman, Marieke.; Pasareanu, Corina.; SpringerLink (Online service); Zhan, Naijun.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Artificial Intelligence (incl. Robotics)
Processor Architectures.
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Circuits and Systems.
Computer Science.
Simulation and Modeling.
Probability and Statistics in Computer Science.
Engineering.
System Performance and Evaluation.
Electronic Circuits and Devices.