Login / Signup
The ABCs of specification: asml, behavior, and components.
Michael Barnett
Wolfram Schulte
Published in:
Informatica (Slovenia) (2001)
Keyphrases
</>
eca rules
high level
building blocks
neural network
digital libraries
artificial neural networks
formal verification
database
information retrieval
social networks
computer vision
data structure
multi agent systems
human behavior
formal specification