JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
Towards Effective Cybersecurity Education and Training
Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
Termination and Boundedness for Well-Structured Pushdown Systems