|
Search the dblp DataBase
Mamoru Fujii:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. [Citation Graph (0, 0)][DBLP] CAV, 1992, pp:384-395 [Conf]
- Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. [Citation Graph (0, 0)][DBLP] ICDCS, 1996, pp:290-298 [Conf]
- Masahiro Higuchi, S. Sugawa, Mamoru Fujii
A method for verifying liveness of protocols modeled as a class of ECFSM. [Citation Graph (0, 0)][DBLP] PSTV, 1994, pp:287-302 [Conf]
- Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
Logical Programming for the Telegram Analysis Problem. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1987, v:12, n:1, pp:9-20 [Journal]
- Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
Quantifying a design process based on experiments. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1989, v:9, n:2, pp:129-136 [Journal]
- Hiroyuki Seki, T. Matsumura, Mamoru Fujii, Tadao Kasami
On Multiple Context-Free Grammars. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:88, n:2, pp:191-229 [Journal]
Search in 0.003secs, Finished in 0.005secs
|