森 亮憲 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
森 亮憲
大阪大学大学院基礎工学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
中田 明夫
大阪大学大学院情報科学研究科
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学理工学部
-
東野 輝夫
大阪大学大学院情報学研究科
-
徳田 康平
大阪大学大学院基礎工学研究科
-
舛田 文彦
大阪大学大学院基礎工学研究科
-
谷口 健一
大阪大学 基礎工学部
-
谷口 健一
大阪大学大学院情報科学研究科
-
樋口 昌宏
近畿大学 理工学部 情報学科
-
徳田 康平
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森 亮憲
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
安本 慶一
奈良先端科学技術大学院大学情報科学研究科
-
桐村 昌行
三菱電機株式会社情報技術総合研究所
-
北道 淳司
会津大学コンピュータ理工学部
-
北道 淳司
大阪大学大学院基礎工学研究科
-
高本 佳史
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
山田 誠
東京工科大学大学院バイオ・情報メディア研究科
-
小原 勝
大阪大学大学院工学研究科
-
藤井 護
大阪大学大型計算機センター
-
山田 誠
電気通信大学大学院
-
多田 知正
大阪大学大学院基礎工学研究科
-
小原 勝
大阪大学大学院基礎工学研究科:(現)松下電器産業株式会社
-
北道 淳司
大阪大学サイバーメディアセンター
-
桐村 昌行
大阪大学大学院基礎工学研究科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
深田 敦史
大阪大学大学院基礎工学研究科
-
大塚 裕孝
大阪大学大学院基礎工学研究科
-
舷曳 信生
岡山大学工学部通信ネットワーク工学科
-
山田 誠
大阪大学大学院基礎工学研究科情報数理系専攻
-
藤井 護
大阪大学大学院基礎工学研究科
-
大塚 裕孝
大阪大学大学院基礎工学研究科情報数理系専攻
-
安本 慶一
奈良先端科学技術大学院大学
著作論文
- 並行周期EFSMに対するパラメトリックモデル検査手法(LAシンポジウム(計算機科学基礎理論ワークショップ)論文小特集)
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- (分散システム運用・管理)高速ネットワーク向けネットワークモニタ回路の設計と実装(オブジェクト指向技術)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- EFSM適合性試験系列生成手法の誤実装検出能力の実験的評価
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案
- メディア同期プロトコルの機能試験の一手法
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- タイマシステムコールを用いるFSMプロトコルの適合性試験について