FUTATSUGI Kokichi | School of Information Science, JAIST
スポンサーリンク
概要
関連著者
-
Ogata Kazuhiro
School Of Information Science Jaist
-
FUTATSUGI Kokichi
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)
-
FUTATSUGI Kokichi
School of Information Science
-
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
Jaist Nomi‐shi Jpn
-
Xiang Jianwen
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
-
Xiang Jianwen
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 (jaist)
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
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)