|
Search the dblp DataBase
Tadaaki Tanimoto:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. [Citation Graph (0, 0)][DBLP] ATVA, 2004, pp:179-195 [Conf]
- Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino
A real time budgeting method for module-level-pipelined bus based system using bus scenarios. [Citation Graph (0, 0)][DBLP] DAC, 2006, pp:37-42 [Conf]
- Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:833-850 [Journal]
Search in 0.001secs, Finished in 0.001secs
|