Circuit Design by Refinement in EventB1.

Stefan Hallerstede Yann Zimmermann

Published in: FDL (2004)

Keyphrases

circuit design
design automation
digital circuits
real time
database systems
face recognition
bayesian networks
artificial neural networks
refinement process
step wise