Studies In Biologically Inspired Computing
Journal of Integrated Design & Process Science
A hybrid quantum evolutionary algorithm for solving engineering optimization problems
International Journal of Hybrid Intelligent Systems
Quantum-inspired evolutionary algorithms: a survey and empirical study
Journal of Heuristics
Hi-index | 0.00 |
When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ...