Trustworthy Assembly of Components using the B Refinement.

Arnaud Lanoix Jeanine Souquières

Published in: e Informatica Softw. Eng. J. (2008)

Keyphrases

building blocks
assembly process
neural network
objective function
mobile robot
databases
website
multiscale