Verification-Driven Design Across Abstraction Levels: A Case Study.

Nils Przigoda Jannis Stoppe Julia Seiter Robert Wille Rolf Drechsler

Published in: DSD (2015)

Keyphrases

abstraction levels
case study
levels of abstraction
knowledge based systems
decision making
test bed
engineering design
design space
real world
multimedia
decision trees
similarity measure
mobile robot
building blocks
design process
design decisions