Self-Verification as the Key Technology for Next Generation Electronic Systems.

Rolf Drechsler Hoang Minh Le Mathias Soeken

Published in: SBCCI (2014)

Keyphrases

key technologies
complex systems
expert systems
hidden markov models
real time
artificial intelligence
case study
database systems
face recognition
wireless sensor networks
management system
distributed systems
model checking