清水 隆也 | 金沢大学自然科学研究科
スポンサーリンク
概要
関連著者
-
清水 隆也
金沢大学自然科学研究科
-
山根 智
金沢大学自然科学研究科
-
高橋 正樹
金沢大学自然科学研究科
-
清水 隆也
金沢大学大学院自然科学研究科
-
山根 智
金沢大学理工研究域電子情報学系
-
山根 智
金沢大学理工学域電子情報学系
-
森下 篤
金沢大学自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
高橋 正樹
金沢大学大学院自然科学研究科
-
山根 智
金沢大学工学部情報システム工学科
-
森下 篤
金沢大学大学院自然科学研究科
-
小池 脩平
金沢大学自然科学研究科
-
長谷川 尭志
金沢大学自然科学研究科
著作論文
- 確率時間REGARの実装と評価 (知能ソフトウェア工学)
- 確率時間REGARの実装と評価 (ソフトウェアサイエンス)
- 確率時間REGARの実装と評価(一般セッション)
- 確率時間REGARの実装と評価(一般セッション,一般,フレッシャーズセッション)
- 確率時間 WiGAR による PTCTL サブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用)
- 確率時間CEGARの開発とその実証実験 (プログラミング Vol.5 No.2)
- 抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)
- Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開)