藤井 護 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
藤井 護
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学基礎工学部情報工学科
-
樋口 昌宏
近畿大学理工学部
-
多田 知正
大阪大学大学院基礎工学研究科
-
藤井 護
大阪大学大型計算機センター
-
多田 知正
大阪大学基礎工学部情報科学科
-
関 浩之
奈良先端科学技術大学院大学
-
小原 勝
大阪大学大学院工学研究科
著作論文
- 多重文脈自由文法のある部分クラスに対する効率の良い構文解析法について
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- Head Languageおよび多重文脈自由言語の所属問題
- 一般化文脈自由文法と多重文脈自由文法
- EFSM適合性試験系列自動生成における系列長短縮化について
- 通信プロトコル適合性試験におけるレジスタ操作に対する試験系列の生成手法(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- ECFSMモデル通信プロトコル検証のための不変式の半自動生成
- EFSMモデル通信プロトコルの時制に関する性質の一検証法