謝 国 | 日本大学理工学部

スポンサーリンク

概要

• 同名の論文著者
• 日本大学理工学部の論文著者

関連著者

• 高橋 聖

  日本大学

• 高橋 聖

  日本大学理工学部電子情報工学科

• 望月 寛

  日本大学理工学部

• 中村 英夫

  日本大学理工学部

• 高橋 聖

  日本大学大学院理工学研究科

• 謝 国

  日本大学理工学部

• 高橋 聖

  日本大学理工学部

• 望月 寛

  日本大学大学院

• 中村 英夫

  日本大学

• 望月 寛

  日本大学

• 高橋 聖

  日本大

• 中村 英夫

  日本大学理工学部電子情報工学科

• 中村 英夫

  日本大 理工

• 中村 英夫

  日本信頼性学会 日本大学

• 謝 国

  日本大学

• 黒田 智也

  日本大学理工学部

もっと見る 閉じる

著作論文

• UMLと形式的手法によるATP閉そくシステムの評価(安全性及び一般)
• UMLと形式的手法によるATP閉そくシステムの評価
• ATP閉そくシステムの仕様妥当性のモデルベース検証(交通関係を主として)
• ATP閉そくシステムにおける形式化と分析の検討(安全性及び一般)

スポンサーリンク