Excellence in Research and Innovation for Humanity
Wasaki, K. , Iwasaki, N.. "Development of A Meta Description Language for Software/Hardware Cooperative Design and Verification for Model-Checking Systems". World Academy of Science, Engineering and Technology, International Science Index 18, International Journal of Computer, Electrical, Automation, Control and Information Engineering (2008), 2(6), 1807 - 1811.