Yasumoto Keiichi | Faculty Of Economics Shiga University
スポンサーリンク
概要
関連著者
-
Yasumoto Keiichi
Faculty Of Economics Shiga University
-
Higashino Teruo
Department Of Informatics And Mathematical Science Osaka 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 Informatics And Mathematical Science Osaka University
-
HIGASHINO Teruo
The authors are with the Department of Informatics and Mathematical Science, Osaka University
-
TANIGUCHI Kenichi
Department of Information and Computer Sciences, 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 Hydrocarbon Chemistry, Kyoto University
著作論文
- 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)