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)
-
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
-
FUTATSUGI Kokichi
School of Information Science
-
中村 正樹
金沢大学理工学域電子情報学類
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
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
-
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)
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
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
著作論文
- 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