Safecharts model checking for the verification of safety-critical systems
Pao Ann Hsiung, Yen Hung Lin, Yean Ru Chen
研究成果: Chapter
1
引文
斯高帕斯（Scopus）