Towards Component-Based Design and Verification of a µ-Controller.

Yunja Choi Christian Bunse

Published in: CBSE (2008)

Keyphrases

neural network
design process
design methodology
case study
artificial neural networks
controller design
real time
databases
information retrieval
multi agent
particle swarm optimization
user experience
design space
formal verification
asynchronous circuits