A. Mete Kabakçioglu

Publication Activity (10 Years)

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

Publications

A. Mete Kabakçioglu
CAN: chain of nodes approach to direct rule induction. IEEE Trans. Syst. Man Cybern. Part B 29 (6) (1999)
A. Mete Kabakçioglu, Olga L. Mazuera
DEVE: An Expert System for Hardware Design Verification. ICTAI (1992)
A. Mete Kabakçioglu, Edward P. Stabler
Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs. Int. J. Comput. Simul. 1 (3) (1991)