Refinement Plans for Informed Formal Design.

Gudmund Grov Andrew Ireland Maria Teresa Llano

Published in: ABZ (2012)

Keyphrases

database
databases
neural network
multi agent
real world
user interface
design process
design principles
engineering design
design methodology
optimal design
formal methods