Justness: A Completeness Criterion for Capturing Liveness Properties.

Rob van Glabbeek

Published in: CoRR (2019)

Keyphrases

desirable properties
neural network
artificial intelligence
metadata
bayesian networks
wide range
database
real time
data sets
information retrieval
website
three dimensional
probability distribution