Wang, Chao.
Overview
| Works: | 1 works in 6 publications in 1 languages | |
|---|---|---|
Titles
Abstraction Refinement for Large Scale Model Checking /
by:
Hachtel, Gary D..; Somenzi, Fabio.; Wang, Chao.
(Electronic resources)
Theory of translation closedness for time scaleswith applications in translation functions and dynamic equations /
by:
SpringerLink (Online service); Wang, Chao.
(Electronic resources)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part II /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(Electronic resources)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part I /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(Electronic resources)
Dynamic mechanical behaviors and constitutive model of roller compacted concrete
by:
SpringerLink (Online service); Wang, Chao.; Wang, Xiaohua.; Zhang, Sherong.
(Electronic resources)
From internet of things to smart citiesenabling technologies /
by:
Ahmad, Bashar I.; Sun, Hongjian.; Wang, Chao.
(Electronic resources)
Automated technology for verification and analysis16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(Electronic resources)
Combined measure and shift invariance theory of time scales and applications
by:
Agarwal, Ravi P.; SpringerLink (Online service); Wang, Chao.
(Electronic resources)
Subjects
Electronic and Computer Engineering
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Computer aided design
Systems engineering
Computer-Aided Engineering (CAD, CAE) and Design
Logics and Meanings of Programs.
Information Systems and Communication Service.
Adaptive computing systems.
Differential equations.
Differential Equations.
Circuits and Systems
Automatic theorem proving
Real Functions.
Computer software
Roller compacted concrete
Programming Languages, Compilers, Interpreters.
Periodic functions.
High technology.
Functional Analysis.
Dynamics.
Artificial Intelligence.
Soil and Rock Mechanics.
Foundation Engineering.
Engineering
Systems and Data Security.
Simulation and Modeling.
Abstract Harmonic Analysis.
Mathematical Modeling and Industrial Mathematics.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Functional analysis.
Measure and Integration.
Computer engineering
Difference and Functional Equations.
Internet of things.
Measure theory.