Koji Hayamizu

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Software Development

Top Venues

Publications

Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
With an Open Mind: How to Write Good Models. FTSCS (2013)
Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
Building a Body of Knowledge on Model Checking for Software Development. COMPSAC (2013)
Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
Model checking education for software engineers in Japan. ACM SIGCSE Bull. 41 (2) (2009)