researchmap
 
Featured Researcher
Tokyo Metropolitan Institute of Medical Science
 

正当なCSSです!

 


JST Home Page
 

Research Interests  [ Model checking ]

17 items found


  • Okayama Prefectural University
    Computer Science and Systems Engineering, Department of System Engineering  
    Assistant Professor
  • Japan Advanced Institute of Science and Technology
  • Hiroshima City University
    Graduate School of Information Sciences, Dept. of Systems Engineering  
    Professor
  • 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)"  
    Associate Professor
  • Kochi University of Technology
    Associate Professor
  • Kobe University
    Graduate School of Human Development and Environment Department of Human Environmental Science  
    Professor
  • Japan Advanced Institute of Science and Technology
    Research Center for Advanced Computing Infrastructure  
  • 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