HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Vahid Rafe

Publications
Fuzzy Particle Swarm Optimization Algorithm (NFPSO) for Reachability Analysis of Complex Software Systems
Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi
EasyChair Preprint 4328
Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems
Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi
EasyChair Preprint 4327

Keyphrases

deadlock, Fuzzy Adaptive Particle Swarm Optimization, Fuzzy Genetic Algorithm, Graph Transformation System, model checking2, reachability property2, state space explosion.

Copyright © 2012-2025 easychair.org. All rights reserved.