佐藤 貞仁 | 岡山県立大学情報工学部

スポンサーリンク

概要

• 同名の論文著者
• 岡山県立大学情報工学部の論文著者

関連著者

• 佐藤 洋一郎

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

• 横川 智教

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

• 佐藤 洋一郎

  岡山県立大学情報工学部

• 早瀬 道芳

  岡山県立大学

• 佐藤 貞仁

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

• 早瀬 道芳

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

• 佐藤 貞仁

  岡山県立大学情報工学部

• 佐藤 貞仁

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

• 佐藤 洋一郎

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

• 横川 智教

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

• 宮崎 仁

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

• 宮崎 仁

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

• 横川 智教

  岡山県立大学情報工学部

• 横川 智教

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

もっと見る 閉じる

著作論文

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

スポンサーリンク