Junwang Chang

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Reachability Analysis

Top Venues

Publications

Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. APPT (2013)
Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang
Accelerating Software Model Checking Based on Program Backbone. APPT (2013)