Author Info
Name
Affiliation
Papers
TAKENOBU AOSHIMA
Panasonic R&D Center Vietnam, No. 1 Lang-Hoa Lac, Hanoi, Vietnam
2
Collaborators
Citations 
PageRank 
4
3
0.76
Referers 
Referees 
References 
12
56
18
Title
Citations
PageRank
Year
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion20.412010
An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications10.362000