JAIST Repository > School of Information Science > JAIST Research Reports > 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