An Implementation Based on the BTRON Specification.

Yoshihiko Imai Makoto Ando Masaaki Kobayashi Yoshiaki Kushiki Ken Sakamura

Published in: COMPCON (1988)

Keyphrases

high level
specification language
database
databases
implementation details
data sets
computer vision
information systems
expert systems
formal verification
code generation