MORITA Tatsuya | College of Agriculture, Academic Institute, Shizuoka University
スポンサーリンク
概要
論文 | ランダム
- 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
- 分散並列型SATソルバにおける探索空間の分割手法の提案
- 新・組み込みソフトへの数理的アプローチ(第7回)組み合わせ問題とLTSA--モデル検査ツールで組み合わせパターンを列挙する
- モデル検査によるソフトウェア上流設計の品質向上技術 (特集 ソフトウェアエンジニアリング)
- n-BDDのための節点の動的追加手法 : ロボットの行動則獲得への適用