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)の論文著者

関連著者

• 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)

• FUTATSUGI Kokichi

  School of Information Science

• 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

• 中村 正樹

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

• 中村 正樹

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

• Ogata Kazuhiro

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

• Ogata Kazuhiro

  Nec Software Hokuriku Ltd.

• Futatsugi Kokichi

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

• NAKAMURA Masaki

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

• Kong Weiqiang

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

• Xiang Jianwen

  School Of Information Science Japan Advanced Institute Of Science And Technology

• 中村 正樹

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

• Futatsugi Kokichi

  Graduate 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

• Futatsugi Kokichi

  Graduate School Of Information Science Japan Advanced Institute Of Science And Technology

• Kong Weiqiang

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

• Ogata Kazuhiro

  NEC Software Hokuriku, Ltd./Research Center for Trustworthy e-Society, Japan Advanced Institute of Science and Technology

もっと見る 閉じる

著作論文

• Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
• A Specification Translation from Behavioral Specifications to Rewrite Specifications
• Algebraic approaches to formal analysis of the mondex electronic purse system
• From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ

スポンサーリンク