WCET-aware reachability for verified simplex design: work-in-progress.

Ole Lübke Sibylle Schupp

Published in: EMSOFT (2021)

Keyphrases

case study
special case
real time
human computer interaction
computer aided
user experience
design decisions
design methodology
search engine
objective function
information technology
mobile devices
user interface
evolutionary algorithm
software engineering
linear programming