Certified Abstract Cost Analysis.

Elvira Albert Reiner Hähnle Alicia Merayo Dominic Steinhöfel

Published in: FASE (2021)

Keyphrases

high level
real time
database
data sets
real world
machine learning
user interface
image analysis
control system
low level
probabilistic model
higher level
automatic analysis