Lessons from INR in the Specification of Transductions.

J. Howard Johnson

Published in: CIAA (2000)

Keyphrases

lessons learned
finite state
high level
finite automata
specification language
neural network
formal specification
formal language
database systems
multi agent
expert systems
state space
user defined
formal methods