Automatic verification stimulus generation for interface protocols modeled with non-deterministic extended FSM

Che Hua Shih*, Juinn-Dar Huang, Jing Yang Jou

*Corresponding author for this work

研究成果: Article同行評審

3 引文 斯高帕斯(Scopus)

指紋 深入研究「Automatic verification stimulus generation for interface protocols modeled with non-deterministic extended FSM」主題。共同形成了獨特的指紋。

Engineering & Materials Science