Sign in

An Implementation Based on the BTRON Specification.

Yoshihiko ImaiMakoto AndoMasaaki KobayashiYoshiaki KushikiKen 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