Abstract computability and algebraic specification.

John V. Tucker Jeffery I. Zucker

Published in: ACM Trans. Comput. Log. (2002)

Keyphrases

state machines
high level
higher level
knowledge level
provably correct
state machine
three dimensional
low level
data sets
formal specification
mobile robot
formal methods
conceptual model
expert systems
social networks
neural network
databases