ARTICLE
|
doi:10.20944/preprints202010.0288.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
Fuzzy Adaptive Particle Swarm Optimization; Graph Transformation System; Model Checking; Reachability Property; State Space Explosion
Online: 14 October 2020 (08:21:28 CEST)
ARTICLE
|
doi:10.20944/preprints202010.0303.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
fuzzy genetic algorithm; reachability property; deadlock; model checking
Online: 14 October 2020 (10:58:37 CEST)