Login / Signup
Composition in Multiparadigm Specification Techniques.
Lynne Blair
Gordon S. Blair
Published in:
FMOODS (1999)
Keyphrases
</>
specification language
high level
formal specification
reactive systems
databases
information retrieval
learning algorithm
information systems
feature selection
multiscale
learning environment
video sequences
programming language
software development
petri net
formal methods