山根 智 | 金沢大学工学部
スポンサーリンク
概要
関連著者
-
山根 智
金沢大学工学部
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学工学部情報システム工学科
-
山根 智
金沢大学自然科学研究科
-
館 宜伸
金沢大学大学院自然科学研究科
-
館 宜伸
金沢大学自然科学研究科
-
中村 一博
名古屋大学情報メディア教育センター
-
山根 智
金沢大学大学院自然科学研究科
-
小林 さとみ
京都大学人文科学研究所
-
橋爪 裕樹
金沢大学大学院自然科学研究科
-
橋爪 裕樹
金沢大学工学部情報システム工学科
-
中野 善光
金沢大学大学院自然科学研究科
-
中野 善光
金沢大学自然科学研究科
-
中村 一博
名古屋大学
著作論文
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法(検証/テストとデバッグ)
- 離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時同時相論理式の保存(設計手法)
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法
- 離散確率分布を持つリアルタイムシステムの詳細化検証手法(検証/テストとデバッグ)
- 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
- 離散確率分布を持つリアルタイムシステムの詳細化検証手法
- 東洋史研究のためのエージェントとサービス(「エージェント基礎」及び一般)
- 確率時間オートマトンの確率時間弱模倣検証理論(計算理論とアルゴリズムの新展開)
- 時間弱模倣関係と最悪応答時間に基づくリアルタイムソフトウェアの詳細化設計手法(2003年並列/分散/協調処理に関する「松江」サマーワークショップ(SWoPP松江2003))(DC-1高信頼化手法)
- ハイブリッドシステムのモジュールの仕様記述と検証の手法
- ハイブリッドオートマトンによるリアルタイムソフトウェアの仕様記述とスケジューラビリティ検証
- ハイブリッドモジュールの詳細化自動検証手法
- ハイブリッドシステムの構成的証明とその計算機実験
- 分散システムのハイブリッドモジュールによる形式化と詳細化自動検証
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法
- 時間オートマトンによるソフトリアルタイムシステムのスケジューリング解析(スケジューリング, VLSI 設計とテスト及び一般)