Selecting reusable test signals for hearing instruments with a combined design and verification flow.

Published in: EUSIPCO (2012)

Keyphrases

design process
artificial intelligence
user interface
design decisions
formal methods
design space
formal verification
website
case study
multi agent
signal processing
knowledge based systems
model checking
experimental design