Soeken - Formal Specification Level Concepts Methods and Algorithm - X555z

Formal Specification Level: Concepts, Methods, and Algorithms

Gupta - Formal Methods and Models for System Design A System Level P - X555z

Su - Next Generation Vehicular Networks Modeling Algorithm and Appli - X555z

Yang - Cuckoo Search and Firefly Algorithm Theory and Applications - - X555z

Tao - Configurable Intelligent Optimization Algorithm Design and Pra - X555z

Venkata Rao - Jaya An Advanced Optimization Algorithm and its Enginee - X555z

Coussy - High-Level Synthesis from Algorithm to Digital Circuit - Ne - X555z