C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Jinming Kong
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Petri Net
Control System
Safety Analysis
Decision Trees
Top Venues
ACM Trans. Embed. Comput. Syst.
</>
Publications
</>
Wangyang Yu
,
Jinming Kong
,
Zhijun Ding
,
Xiaojun Zhai
,
Zhiqiang Li
,
Qi Guo
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing.
ACM Trans. Embed. Comput. Syst.
23 (1) (2024)