On Using B in the Design of Secure Micro-controllers: An Experience Report.

Marc V. Benveniste

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

computer aided
control system
controller design
genetic algorithm
user interface
data model
design process
design decisions
e learning
building blocks
engineering design
design space