Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science ： ISSN 0918-7553 >

IS-RR-2014 : [5]

Collection home page
 
All Faculty's Articles
 
or browse     


 

Recent Submissions

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
Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)