Revisiting Semantics of Interactions for Trace Validity Analysis.

Erwan Mahe Christophe Gaston Pascale Le Gall

Published in: FASE (2020)

Keyphrases

statistical analysis
case study
similarity measure
data structure
expert systems
image analysis
formal semantics
data sets
search engine
user interface
logic programming
integrity constraints