Travelled to:
1 × France
Collaborated with:
J.Naganuma T.Ogura
Talks about:
algorithm (1) design (1) valid (1) level (1) debug (1) high (1) use (1)
Person: Tamio Hoshino
DBLP: Hoshino:Tamio
Contributed to:
Wrote 1 papers:
- EDAC-1994-NaganumaOH #algorithm #debugging #design #using #validation
- High-Level Design Validation Using Algorithmic Debugging (JN, TO, TH), pp. 474–480.