researchmap
 

Research Interests  [ 形式検証 ]

4 items found


  • <
  • >
  • Japan Advanced Institute of Science and Technology
  • Ibaraki University
    Graduate School of Science and Engineering (Engineering), Department of Computer and Information Sciences  
    Associate Professor
  • University of Tsukuba
    Faculty of Engineering,Information and Systems  
  • Waseda University
    School of Fundamental Science and Engineering  

  • <
  • >