FUTATSUGI Kokichi | School of Information Science
スポンサーリンク
概要
関連著者
-
FUTATSUGI Kokichi
School of Information Science
-
Futatsugi Kokichi
School Of Information Science 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
-
Kong Weiqiang
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
中村 正樹
金沢大学理工学域電子情報学類
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
Kan Haibin
School Of Compute Science Fudan University
-
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
-
Xiang Jianwen
School Of Information Science Japan Advanced Institute Of Science And Technology
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
Li Yuan
School Of Computer Science Fudan University
-
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
-
Ogata Kazuhiro
Nec Software Hokuriku Ltd.
-
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 (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
-
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
-
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
著作論文
- 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
- 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"
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ