Formal reasoning in logic design of reconfigurable controllers.

Marian Adamski Jacek Tkacz

Published in: PDeS (2012)

Keyphrases

micron cmos
control system
case study
low cost
formal model
automated reasoning
model based reasoning