Login / Signup
Makoto Ichii
Publication Activity (10 Years)
Years Active: 2008-2019
Publications (10 Years): 2
Top Topics
Temporal Properties
Model Checking
Visualization Tool
Process Algebra
Top Venues
IEICE Trans. Inf. Syst.
APSEC (2)
IWoR@ASE
WCRE
</>
Publications
</>