Login / Signup

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

André de Matos PedroMartin LeuckerDavid PereiraJorge 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