Envisioning self-verification of electronic systems.

Rolf Drechsler Martin Fränzle Robert Wille

Published in: ReCoSoC (2015)

Keyphrases

complex systems
artificial intelligence
case study
intelligent systems
computer systems
learning systems
model checking
formal methods
real time
data sets
data structure
expert systems
artificial neural networks
management system
design automation