Login / Signup
Fumihiko Kumeno
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Formal Specification
Temporal Properties
Model Checking
Finite State Machines
Top Venues
APSEC (2)
</>
Publications
</>
Hideto Ogawa
,
Makoto Ichii
,
Fumihiko Kumeno
,
Toshiaki Aoki
A Practical Study of Debugging Using Model Checking.
APSEC (2)
(2013)