樋口 昌宏 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
藤井 護
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学基礎工学部情報工学科
-
樋口 昌宏
近畿大学理工学部
-
藤井 護
大阪大学大型計算機センター
-
藤井 護
大阪大学基礎工学部情報工学科
-
森 亮憲
大阪大学大学院基礎工学研究科
-
多田 知正
大阪大学大学院基礎工学研究科
-
小原 勝
大阪大学大学院工学研究科
-
小原 勝
大阪大学大学院基礎工学研究科:(現)松下電器産業株式会社
-
原 圭吾
大阪大学基礎工学部情報工学科
-
関 浩之
奈良先端科学技術大学院大学
-
嵩 忠雄
奈良先端科学技術大学院大学 情報科学研究科
-
中石 敬治
日本電信電話株式会社
-
関 浩之
大阪大学基礎工学部
-
嵩 忠雄
奈良先端科学技術大学院大学
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
中石 敬治
大阪大学基礎工学部情報科学科
-
須川 聡
大阪大学基礎工学部情報工学科
-
徳田 康平
大阪大学大学院基礎工学研究科
-
吉本 忠司
大阪大学大学院基礎工学研究科
-
関 浩之
大阪大学基礎工学情情報工学科
-
東野 輝夫
大阪大学大学院情報科学研究科
-
佐野 哲央
大阪大学基礎工学部情報工学科
-
谷口 健一
大阪大学 基礎工学部
-
谷口 健一
大阪大学大学院情報科学研究科
-
玉井 順子
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学 教養部
-
佐野 順子
(株)リコー
-
片倉 健一
大阪大学基礎工学部
-
樋口 昌宏
大阪大学 基礎工学部 情報工学科
-
藤井 護
大阪大学教養部
-
樋口 昌宏
近畿大学 理工学部 情報学科
-
徳田 康平
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森 亮憲
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
東野 輝夫
大阪大学大学院情報学研究科
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
北道 淳司
会津大学コンピュータ理工学部
-
北道 淳司
大阪大学大学院基礎工学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
嵩 忠雄
大阪大学基礎工学部
-
李 湘東
大阪大学基礎工学部情報工学科
-
福井 一史
大阪大学大学院基礎工学研究科
-
轟木 伸俊
大阪大学大学院基礎工学研究科
-
別府 明
大阪大学大学院基礎工学研究科
-
小原 勝
大阪大学基礎工学部情報科学科
-
原 圭吾
大阪大学 基礎工学部 情報工学科
-
片倉 健一
大阪大学 基礎工学部 情報工学科
-
北道 淳司
大阪大学サイバーメディアセンター
-
内田 和之
大阪大学大学院基礎工学研究科
-
藤井 謙
大阪大学大学院基礎工学研究科
-
福井 一史
大阪大学大学院基礎工学研究科情報数理系専攻
-
轟木 伸俊
大阪大学大学院基礎工学研究科情報数理系専攻
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
谷口 健一
大阪大学基礎工学部情報工学科
-
深田 敦史
大阪大学大学院基礎工学研究科
著作論文
- 通信プロトコルのフェーズ連結法とそれに基づく検証法
- 有界到達可能性解析を用いた非有界通信プロトコルの解析法
- 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
- 優先サービスを含む通信プロトコルの安全性の検証
- 非階層型名前空間のファイルシステムへの適用に関する実験的評価
- EFSM適合性試験系列自動生成における系列長短縮化について
- 通信プロトコル適合性試験におけるレジスタ操作に対する試験系列の生成手法(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- ECFSMモデル通信プロトコル検証のための不変式の半自動生成
- EFSMモデル通信プロトコルの時制に関する性質の一検証法
- 通信プロトコルにおけるレジスタ操作の適合性試験系列生成手法の実験評価
- ECFSMモデルの通信プロトコルに故障耐性機能を付加する一手法
- ECFSMモデルの通信プロトコルの検証のための不変式の自動生成システムの開発
- ECFSMモデルの通信プロトコルへの故障耐性機能の半自動生成
- ECFSMモデル通信プロトコルの検証システムにおける不変式の自動生成
- あるクラスの拡張有限状態機械におけるレジスタ操作の試験系列の生成手法
- 拡張有限状態機械の適合性試験の一手法 : レジスタ代入の正しさの試験
- 拡張有限状態機械でモデル化された通信プロトコルの生存性の検証法
- 拡張有限状態機械モデルの通信プロトコルのlivenessの検証法
- 拡張有限状態機械でモデル化された通信プロトコルのlivenessの検証法
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 配送時間を考慮した因果関係を保存するメッセージ配送
- 部分トランザクションの独立性を考慮した入れ子トランザクションモデル
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- EFSM適合性試験系列生成手法の誤実装検出能力の実験的評価
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法