On the concurrent behaviour of SCR specifications.

Hyoung Seok Hong Sung Deok Cha Yong Rae Kwon

Published in: COMPSAC (1997)

Keyphrases

formal specification
databases
real world
information systems
similarity measure
mutual exclusion
delay insensitive
data sets
case study
database systems
artificial neural networks
functional requirements