Model checking algorithm based on ant colony swarm intelligence (Q3399983)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model checking algorithm based on ant colony swarm intelligence |
scientific article; zbMATH DE number 5659475
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking algorithm based on ant colony swarm intelligence |
scientific article; zbMATH DE number 5659475 |
Statements
Model Checking Algorithm Based on Ant Colony Swarm Intelligence (English)
0 references
15 January 2010
0 references
model checking
0 references
automated software testing
0 references
ant colony swarm intelligence
0 references
pheromone
0 references
0.7428309321403503
0 references
0.7123385071754456
0 references
0.6973021030426025
0 references
0.6933614015579224
0 references
