Processes with local and global liveness requirements.

Hélia Guerra José Félix Costa

Published in: J. Log. Algebraic Methods Program. (2009)

Keyphrases

data sets
data mining
decision making
metadata
case study
user requirements
functional requirements
stochastic processes
multidatabase systems