Keiichi Yoshisaka

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Specification Languages

Relational Databases

Object Oriented Design

Test Generation

Top Venues

Publications

Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki
Formal Specification Based Automatic Test Generation for Embedded Network Systems. J. Appl. Math. 2014 (2014)