Login / Signup
Making specifications executable - Using IPTES Meta-IV.
Michael Andersen
René Elmstrøm
Poul Bøgh Lassen
Peter 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