Research Interests  [ Model checking ]

15 items found

  • Okayama Prefectural University
    Computer Science and Systems Engineering, Department of System Engineering  
    Assistant Professor
  • Hiroshima City University
    Graduate School of Information Sciences, Dept. of Systems Engineering  
  • Japan Advanced Institute of Science and Technology
  • The University of Electro-Communications
    Graduate School of Informatics and Engineering, School of Informatics and Engineering, Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)  
    Assistant Professor
  • Kobe University
    Graduate School of Human Development and Environment Division of Human Environmental Science  
  • Kochi University of Technology
    Associate Professor
  • Ehime University
    Graduate School of Science and Engineering, Mathematics, Physics, and Earth Sciences, Graduate School of Science and Engineering Mathematics,Physics, and Earth Sciences  
    Associate Professor
  • Gifu University
    Faculty of Engineering  
  • University of Tsukuba
    Faculty of Engineering,Information and Systems  
  • Idein inc.