JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems
Generate & Check Methods for Invariant Verification in CafeOBJ
Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata
Nested Timed Automata
raSAT: SMT for Polynomial Inequality