Multi-level specifications based on traces.

Paulo A. S. Veloso Antonio L. Furtado

Published in: ACM SIGSOFT Softw. Eng. Notes (1983)

Keyphrases

execution traces
delay insensitive
formal specification
high level
neural network
case study
control flow
operational semantics
data mining
bayesian networks
evolutionary algorithm
multi layer
finite state machines
reactive systems
concurrent systems
transition systems