Kenichi Yajima

Publication Activity (10 Years)

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

Publications

Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES (2009)
Nobuo Okabe, Hirokazu Takatama, Kenichi Yajima, Yusuke Doi, Atsushi Inoue
Field Experiment of an Extendable Traceability System: Application to the Quality Control of Beef-Product Distribution. IPC (2007)
Kenichi Yajima, Hiroyuki Kitagawa, Kazunori Yamaguchi, Nobuo Ohbo, Yuzuru Fujiwara
Optimization of Queries Including ADT Functions. DASFAA (1991)