rt-Inconsistency: A New Property for Real-Time Requirements.

Amalinda Post Jochen Hoenicke Andreas Podelski

Published in: FASE (2011)

Keyphrases

real time
real time systems
timing constraints
vision system
learning algorithm
multiscale
general purpose
low cost
high speed
user requirements
real world
website
case study
design principles
desirable properties