Login / Signup
Takahisa Mizuno
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Transition Systems
Dynamic Analysis
Formal Specification
Model Checking
Top Venues
J. Softw.
</>
Publications
</>
Hiroki Kumamoto
,
Takahisa Mizuno
,
Kensuke Narita
,
Shin-ya Nishizaki
Applying Model Checking to Destructive Testing and Analysis of Software System.
J. Softw.
8 (5) (2013)