Safecharts model checking for the verification of safety-critical systems

Pao Ann Hsiung, Yen Hung Lin, Yean-Ru Chen

研究成果: Chapter

1 引文 斯高帕斯(Scopus)

指紋

深入研究「Safecharts model checking for the verification of safety-critical systems」主題。共同形成了獨特的指紋。

Engineering & Materials Science