Login / Signup

Making specifications executable - Using IPTES Meta-IV.

Michael AndersenRené ElmstrømPoul Bøgh LassenPeter Gorm Larsen
Published in: Microprocess. Microprogramming (1992)
Keyphrases
  • formal specification
  • control flow
  • attribute grammars
  • meta level
  • information retrieval
  • database
  • real time
  • neural network
  • learning algorithm
  • artificial intelligence
  • specification language
  • delay insensitive