HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:reachability property

Papers
Fuzzy Particle Swarm Optimization Algorithm (NFPSO) for Reachability Analysis of Complex Software Systems
Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi
EasyChair Preprint no. 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 no. 4327
Copyright © 2012-2022 easychair.org. All rights reserved.