Login / Signup
Pan-Wei Zhu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
High Density
Software Testing
Linear Temporal Logic
Testing Process
Top Venues
J. Comput. Sci. Technol.
</>
Publications
</>
Ying Zhang
,
Pengfei Ji
,
Pan-Wei Zhu
,
Zebo Peng
,
Hua-Wei Li
,
Jian-Hui Jiang
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip.
J. Comput. Sci. Technol.
38 (2) (2023)