Taniguchi Kenichi | Department Of Informatics And Mathematical Science Osaka University
スポンサーリンク
概要
- TANIGUCHI Kenichiの詳細を見る
- 同名の論文著者
- Department Of Informatics And Mathematical Science Osaka Universityの論文著者
関連著者
-
Taniguchi Kenichi
Department Of Informatics And Mathematical Science Osaka University
-
Higashino Teruo
Department Of Informatics And Mathematical Science Osaka University
-
Yasumoto Keiichi
Faculty Of Economics Shiga University
-
Higashino Teruo
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kitajima Akira
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
TANIGUCHI Kenichi
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
Taniguchi Kenichi
Department of Hydrocarbon Chemistry, Kyoto University
-
Nakata Akio
Department of Internal Medicine, Toyama Prefectural Central Hospital
-
Higashino Teruo
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
Higashino Teruo
Faculty Of Engineering Science Osaka University
-
Nakata Akio
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
HIGASHINO Teruo
The authors are with the Department of Informatics and Mathematical Science, Osaka University
-
Yamaguchi Hirozumi
Faculty of Engineering Science, Osaka University
-
Okano Kozo
Faculty of Engineering Science, Osaka University
-
Taniguchi Kenichi
Faculty of Engineering Science, Osaka University
-
Okano Kozo
Faculty Of Engineering Science Osaka University
-
KITAJIMA Akira
The authors are with the Department of Information and Computer Sciences, Osaka University
-
YASUMOTO Keiichi
The author is with the Faculty of Economics, Shiga University
-
TANIGUCHI Kenichi
The authors are with the Department of Information and Computer Sciences, Osaka University
-
Taniguchi Kenichi
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
-
Yamaguchi Hirozumi
Faculty Of Engineering Science Osaka University
著作論文
- Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation
- Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model (Special Section on Net Theory and Its Applications)
- Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
- A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit(Special Section on Concurrent Systems Technology)