佐藤 貞仁 | 岡山県立大学大学院情報系工学研究科システム工学専攻

スポンサーリンク

概要

• 佐藤 貞仁の詳細を見る
• 同名の論文著者
• 岡山県立大学大学院情報系工学研究科システム工学専攻の論文著者

関連著者

• 佐藤 洋一郎

  岡山県立大学情報工学部情報システム工学科

• 横川 智教

  岡山県立大学情報工学部情報システム工学科

• 佐藤 洋一郎

  岡山県立大学情報工学部

• 早瀬 道芳

  岡山県立大学

• 佐藤 貞仁

  岡山県立大学大学院情報系工学研究科システム工学専攻

• 早瀬 道芳

  岡山県立大学大学院情報系工学研究科

• 佐藤 貞仁

  岡山県立大学情報工学部

• 佐藤 貞仁

  岡山県立大学大学院情報系工学研究科

• 佐藤 洋一郎

  岡山県立大学 情報工学部 情報システム工学科

• 横川 智教

  岡山県立大学 情報工学部 情報システム工学科

• 宮崎 仁

  岡山県立大学大学院情報系工学研究科

• 宮崎 仁

  岡山県立大学大学院情報系工学研究科システム工学専攻

• 横川 智教

  岡山県立大学情報工学部

• 横川 智教

  岡山県立大学大学院情報系工学研究科

もっと見る 閉じる

著作論文

• 有界モデル検査を用いた複数UML図の形式的検証
• D-3-3 有界モデル検査を用いた複数UML図の検証に関する検討(D-3.ソフトウェアサイエンス,一般講演)
• B_003 シーケンス図と状態遷移図で記述されたUMLモデルを対象としたモデル検査による形式的検証(B分野:ソフトウェア)
• D-10-1 モデル検査手法を用いたUML図の検証(D-10.ディペンダブルコンピューティング,一般講演)

スポンサーリンク