寺田 博文 | 大阪大学大学院基礎光化学研究科情報数理系専攻

スポンサーリンク

概要

• 寺田 博文の詳細を見る
• 同名の論文著者
• 大阪大学大学院基礎光化学研究科情報数理系専攻の論文著者

関連著者

• 寺田 博文

  大阪大学大学院基礎光化学研究科情報数理系専攻

• 菊野 亨

  大阪大学大学院情報科学研究科

• 土屋 達弘

  大阪大学大学院情報科学研究科

• 菊野 亨

  大阪大学基礎工学部

• 金 恩美

  Dept. of Computer Engineering, Howon University, 韓国

• 金 恩美

  Dept. Of Computer Engineering Howon University 韓国

• 土屋 達弘

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

• 金 恩美

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

• 楠本 真二

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

• 寺田 博文

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

• 菊野 亨

  大阪大学大学院　情報科学研究科

もっと見る 閉じる

著作論文

• オブジェクト指向開発の設計文書における安全性検証の試み
• 記号モデル検査を用いたステートチャートの検証

スポンサーリンク