Specifying and verifying temporal behavior of high assurance systems using reachability tree logic

Stephen J.H. Yang, William Chu, Jonathan Lee

研究成果: 雜誌貢獻期刊論文同行評審

指紋

深入研究「Specifying and verifying temporal behavior of high assurance systems using reachability tree logic」主題。共同形成了獨特的指紋。

Engineering & Materials Science