Integrating Behavior and Timing in Executable Specifications.

Karim Khordoc Mario Dufresne Eduard Cerny P. A. Babkine Allan Silburt

Published in: CHDL (1993)

Keyphrases

formal specification
behavior analysis
control flow
attribute grammars
behavior patterns
information retrieval
decision making
similarity measure
multi agent
control system
process model
human behavior
specification language
asynchronous circuits