Login / Signup

An overview of the BTRON/286 specification.

Ken SakamuraYoshiaki KushikiKazuhiro Oda
Published in: IEEE Micro (1989)
Keyphrases
  • specification language
  • real world
  • data mining
  • genetic algorithm
  • formal specification
  • computer vision
  • optimal solution
  • natural language
  • hidden markov models
  • formal methods
  • formal verification
  • code generation