dblp.uni-trier.dewww.uni-trier.de

Tadaaki Tanimoto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EETadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino: A real time budgeting method for module-level-pipelined bus based system using bus scenarios. DAC 2006: 37-42
3EEAkio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino: A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. Int. J. Found. Comput. Sci. 17(4): 833-850 (2006)
2005
2EETadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino: Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. IEICE Transactions 88-A(11): 3007-3021 (2005)
2004
1EETadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino: A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195

Coauthor Index

1Hideaki Hashimoto [2]
2Teruo Higashino [1] [2] [3] [4]
3Akio Nakata [1] [2] [3] [4]
4Suguru Sasaki [1] [3]
5Seiji Yamaguchi [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)