Real-time MTL with durations as SMT with applications to schedulability analysis.

André de Matos Pedro Martin Leucker David Pereira Jorge Sousa Pinto

Published in: TASE (2020)

Keyphrases

real time
data analysis
image analysis
quantitative analysis
data sets
control system
low cost
high speed
model selection