Ogata Kazuhiro | Nec Software Hokuriku Ltd.
スポンサーリンク
概要
関連著者
-
Ogata Kazuhiro
Nec Software Hokuriku Ltd.
-
Futatsugi Kokichi
Graduate School of Information Scinece, Japan Advanced Institute of Science and Technology
-
Kong Weiqiang
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)
-
Futatsugi Kokichi
Graduate School Of Information Science Japan Advanced Institute Of Science And Technology
-
FUTATSUGI Kokichi
School of Information Science
-
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
著作論文
- Formal analysis of the iKP electronic payment protocols
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ