Parameterisation for abstract structured specifications.

Published in: Theor. Comput. Sci. (2014)

Keyphrases

high level
state machines
shape model
real world
higher level
neural network
database systems
data structure
low level
formal specification
knowledge base