Li-Chung Wang

Publication Activity (10 Years)

Years Active: 1991-2017
Publications (10 Years): 1

Top Topics

Planning Domains

Formal Verification

Statistical Significance

Top Venues

Publications

Wen Chen, Kuo-Kai Hsieh, Li-Chung Wang, Jayanta Bhadra
Data-Driven Test Plan Augmentation for Platform Verification. IEEE Des. Test 34 (5) (2017)
Vijaya Ramachandran, Li-Chung Wang
Parallel algorithm and complexity results for telephone link simulation. SPDP (1991)