Koichi Shinozaki

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Automated Verification

Software Development

Top Venues

Publications

Tomoaki Kageyama, Koichi Shinozaki, Lan Zhang, Jian Lu, Hideki Takaki, Sang-Seok Lee
An ohmic contact type RF-MEMS switch having Au-Au/CNTs contacts. NEMS (2017)
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)