Shi, Jinghao.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Model-based Runtime Verification Framework for Wireless Protocol Implementations.
by:
ProQuest Information and Learning Co.; State University of New York at Buffalo.; Shi, Jinghao.
(Language materials, manuscript)
Subjects