Guest Editorial Special Section on Design Verification and Validation.
Ian HarrisDhiraj PradhanPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2008)
Keyphrases
- special section
- special issue
- computer aided
- functional verification
- optimal design
- engineering design
- design process
- case study
- design principles
- computer vision
- formal verification
- relational databases
- optimal solution
- neural network
- decision making
- design decisions
- formal methods
- learning algorithm
- genetic algorithm