Algebraic approaches to formal analysis of the mondex electronic purse system
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2007-03-23
著者
-
Ogata Kazuhiro
Graduate School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
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)
-
Kong Weiqiang
Graduate 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)
-
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
-
Ogata Kazuhiro
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
関連論文
- User-defined on-demand matching
- The equivalence of the reductions with the E-strategy with and without marks
- Constructor-based Institutions
- 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
- Formal analysis of the iKP electronic payment protocols
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ