Analyzing the Dynamics of a Z Specification.

Paolo Ciancarini Cecilia Mascolo

Published in: DISCO (1996)

Keyphrases

dynamic model
object oriented
dynamical systems
databases
artificial intelligence
computer vision
information systems
feature selection
knowledge base
bayesian networks
digital libraries
formal methods
temporal evolution