Taoyong Ni

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni
-Verilog Dynamic Verifier by Alternating Automata. Electron. Notes Theor. Comput. Sci. 207 (2008)
Naiyong Jin, Juan Zhou, Taoyong Ni
iPSL: An Environment for IP-Based PSL Specification. ICECCS (2008)
Naiyong Jin, Taoyong Ni
Interface Specification Assurance Methods. ISQED (2007)