Ogata Kazuhiro | School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

スポンサーリンク

概要

• Ogata Kazuhiroの詳細を見る
• 同名の論文著者
• School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)の論文著者

関連著者

• Ogata Kazuhiro

  School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

• Ogata Kazuhiro

  School Of Information Science Jaist

• FUTATSUGI Kokichi

  School of Information Science, JAIST

• Futatsugi Kokichi

  School Of Information Science Jaist

• FUTATSUGI Kokichi

  School of Information Science

• KONG Weiqiang

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

• Kong Weiqiang

  School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

• Ogata Kazuhiro

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

• 中村 正樹

  金沢大学理工学域電子情報学類

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• Ogata Kazuhiro

  Jaist Nomi‐shi Jpn

• Xiang Jianwen

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

• NAKAMURA Masaki

  School of Information Science, Japan Advanced Institute of Science and Technology

• Xiang Jianwen

  School Of Information Science Japan Advanced Institute Of Science And Technology

• Xiang Jianwen

  School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

• 中村 正樹

  金沢大学 理工学域 電子情報学類

• Futatsugi Kokichi

  School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

• Nakamura Masaki

  Kanazawa Univ. Kanazawa‐shi Jpn

• Nakamura Masaki

  School Of Electrical And Computer Engineering Kanazawa University

• OGATA Kazuhiro

  School of Information Science, JAIST

もっと見る 閉じる

著作論文

• State Machines as Inductive Types(Concurrent Systems)
• Proof Score Approach to Verification of Liveness Properties
• Analysis of membership sharing in digital subscription services
• Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
• A Specification Translation from Behavioral Specifications to Rewrite Specifications

スポンサーリンク