Login / Signup
Guodong Ou
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Hybrid Models
Reasoning Systems
Statistical Model
Computational Models
Top Venues
Internetware
SOFL+MSVL
</>
Publications
</>
Guoteng Pan
,
Mengjun Li
,
Guodong Ou
Modeling and Reasoning Event-B Models Based on Mathematica.
Internetware
(2019)
Guoteng Pan
,
Mengjun Li
,
Guodong Ou
Solving Constraint Optimization Problems Based on Mathematica and Abstraction.
SOFL+MSVL
(2019)