custom memories using compositions of abstract specifications.

Jayanta Bhadra Andrew K. Martin Jacob A. Abraham Magdy S. Abadir

Published in: HLDVT (2001)

Keyphrases

high level
state machines
domain specific
formal specification
specification language
delay insensitive
real time
data sets
real world
data mining
decision making
source code
state machine
concurrent systems