Sign in
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.
Valentina Castiglioni
Ruggero Lanotte
Simone Tini
Published in:
The Art of Modelling Computational Systems (2019)
Keyphrases
</>
natural language
real time
metadata
similarity metrics
syntactic semantic
database
data mining
genetic algorithm
case study
evaluation metrics
evaluation criteria
software quality
syntactic analysis
syntactic structures