Login / Signup
Kenji Taguchi
ORCID
Publication Activity (10 Years)
Years Active: 1996-2021
Publications (10 Years): 3
Top Topics
Transition Matrix
Bounded Model Checking
Modelling Language
Formal Semantics
Top Venues
SAFECOMP Workshops
APSEC
Formal Aspects Comput.
ISSRE Workshops
</>
Publications
</>