Login / Signup
Cong He
ORCID
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 18
Top Topics
Neural Network
Verification Method
Temporal Logic
Petri Net
Top Venues
Int. J. Prod. Res.
CoRR
Comput. Informatics
BMC Medical Informatics Decis. Mak.
</>
Publications
</>