Observational Specifications and the Indistinguishability Assumption.

Gilles Bernot Michel Bidoit Teodor Knapik

Published in: Theor. Comput. Sci. (1995)

Keyphrases

formal specification
social networks
high level
data sets
learning algorithm
image sequences
expert systems
asynchronous circuits
database views