JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science ： ISSN 0918-7553 >
Sufficient completeness of parameterized specifications in CafeOBJ
Tight Bound on Mobile Byzantine Agreement
Pushdown Model Generation of Malware
Analyzing the Impact of Mitigation Strategies on the Spread of a Virus
Model Checking Conformance of Design Model to Its Formal Specification
