Explicit fairness in testing semantics

Diletta Cacciagrano Flavio Corradini Catuscia Palamidessi

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

logic programming
formal semantics
machine learning
resource allocation
semantic representation
data sets
game theory
real time
data model
test set
conceptual model
specification language
proof theory
logical language