Accelerating coverage estimation through partial model checking
Yean Ru Chen, Jia Jen Yeh, Pao Ann Hsiung, Sao Jie Chen
研究成果: Article › 同行評審
3
引文
斯高帕斯（Scopus）