 |
|
|
JAIST Repository >
|
最新登録アイテム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 |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||