An Estelle translator for incremental protocol verification

Chung Ming Huang, Jenq Muh Hsu

研究成果: Article同行評審

指紋

深入研究「An Estelle translator for incremental protocol verification」主題。共同形成了獨特的指紋。

Engineering & Materials Science