李 湘東 | 大阪大学基礎工学部情報工学科

スポンサーリンク

概要

• 李 湘東の詳細を見る
• 同名の論文著者
• 大阪大学基礎工学部情報工学科の論文著者

関連著者

• 東野 輝夫

  大阪大学基礎工学部情報科学科

• 谷口 健一

  大阪大学基礎工学部情報科学科

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 李 湘東

  大阪大学基礎工学部情報工学科

• 谷口 健一

  大阪大学基礎工学部情報工学科

• 樋口 昌宏

  近畿大学理工学部

• 樋口 昌宏

  大阪大学基礎工学部情報工学科

• 樋口 昌宏

  大阪大学大学院基礎工学研究科

• 中田 明夫

  大阪大学基礎工学研究科情報数理系

• 安本 慶一

  大阪大学基礎工学部情報工学科

• 福田 真二

  大阪大学基礎工学部情報工学科

もっと見る 閉じる

著作論文

• 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
• 拡張有限状態機械モデルにおける通信プロトコルのテスト系列の自動生成の一手法
• 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
• データを含むLOTOS記述に対するテスト系列の自動生成の一手法
• 整数データを含むLOTOS仕様の等価性の証明について

スポンサーリンク