Katsumi Okamoto

Publication Activity (10 Years)

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

Publications

Masaaki Hashimoto, Katsumi Okamoto
A set and mapping-based detection and solution method for structure clash between program input and output data. COMPSAC (1990)
Katsumi Okamoto, Masaaki Hashimoto
On Real-Time Program Specification Description with a Data Model-Based Language. ICCI (1990)