Hisamitsu Yamanaka (Hitachi Automotive Systems

Identifiers

• name variant Hisamitsu Yamanaka (Hitachi Automotive Systems 0.60 · backfill

Papers (1)

1. Model Checking with Program Slicing Based on Variable Dependence Graphs cs.LO · 2013 · author #11

Mentions

• 1301.0041 #11 · backfill · confidence 0.70 Hisamitsu Yamanaka (Hitachi Automotive Systems

Frequent Coauthors

• Fumio Narisawa (Hitachi 1 shared papers
• Inc.) 1 shared papers
• Kohei Sakurai (Hitachi 1 shared papers
• Ltd.) 1 shared papers
• Masahiro Matsubara (Hitachi 1 shared papers
• Masushi Enshoiwa (Hitachi Advanced Digital 1 shared papers
• Yoshio Yamane (Hitachi Advanced Digital 1 shared papers