Profile Information

Affiliation
(Professor Emeritus), National Institute of Informatics
Degree
Ph.D. (The University of Tokyo)(Nov, 2000, The University of Tokyo)

ORCID ID
 https://orcid.org/0000-0002-3827-3165
researchmap Member ID
5000034850

External link

Software Engineering for Dependable Systems; Formal Methods including Formal Specification Languages and Logic Model-Checking.

Professional Memberships

  1

Misc.

  12

Books and Other Publications

  17

Presentations

  75

Major Papers

  116

Social Activities

  5

Media Coverage

  2