Futatsugi Kokichi | 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

• Ogata Kazuhiro

  School Of Information Science Jaist

• FUTATSUGI Kokichi

  School of Information Science, JAIST

• Ogata Kazuhiro

  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)

• NAKAMURA Masaki

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

• Kong Weiqiang

  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, Japan Advanced Institute of Science and Technology (JAIST)

• LI Yuan

  School of Computer Science, Fudan University

• Watanabe Takuo

  School Of Information Science Japan Advanced Institute Of Science And Technology

• Kan Haibin

  School Of Compute Science Fudan University

• Ogata Kazuhiro

  Jaist Nomi‐shi Jpn

• WATANABE Masahiro

  Production Engineering Research Laboratory, Hitachi Ltd.

• Xiang Jianwen

  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

• Xiang Jianwen

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

• Futatsugi Kokichi

  Jaist Nomi‐shi Jpn

• Futatsugi Kokichi

  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

• Ishikawa Hiroshi

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

• Li Yuan

  School Of Computer Science Fudan University

• Nakajima Shin

  Nec C&c Media Research Laboratories

• Nakajima Shin

  Nec Corporation

• Futatsugi Kokichi

  School Of Information Science Japan Advanced Institute

• Ishikawa Hiroshi

  School Of Information Science Japan Advanced Institute Of Science And Technology

• Watanabe Masahiro

  Production Engineering Research Laboratory Hitachi Ltd.

• Futatsugi Kokichi

  School Of Information Science Japan Advanced Institue Of Science And Technology

• 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
• Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm(Concurrent Systems)
• A Behavioral Specification of Imperative Programming Languages
• Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
• A Scenario-based Object-Oriented Modeling Method with Algebraic
• A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"

スポンサーリンク