Sign in
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung
Viet Ha Nguyen
Toshiaki Aoki
Takuya Katayama
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2012)
Keyphrases
</>
generation method
global optimization
optimization problems
optimization algorithm
optimization process
combinatorial optimization
multiple objectives
data sets
databases
image processing
multiscale
artificial neural networks
linear programming
optimization model
optimal design