Search the dblp DataBase

Publications of Author

1. Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama
   Optimization of Fuzzy Feedback Control in L_Space. [Citation Graph (0, 0)][DBLP]
   FUZZ-IEEE, 2001, pp:896-899 [Conf]
   
2. Shin'nosuke Yamaguchi, Katsumi Wasaki, Ysunari Shidama
   A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. [Citation Graph (0, 0)][DBLP]
   ICEIS (3), 2003, pp:498-502 [Conf]
   
3. Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
   The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. [Citation Graph (0, 0)][DBLP]
   KES (3), 2005, pp:1296-1302 [Conf]
   
4. 
   Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. [Citation Graph (, )][DBLP]
   
   
5. 
   A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. [Citation Graph (, )][DBLP]
   
   
6. 
   A Meta Hardware Description Language Melasy for Model-Checking Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   A high reliability design for NFS server software based on the logical coloured Petri net. [Citation Graph (, )][DBLP]
   
   
8. 
   The persistence of the Petri Net state-space. [Citation Graph (, )][DBLP]
   
   
9. 
   The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. [Citation Graph (, )][DBLP]