Comparative Analysis of Statistical Model Checking Tools (Q2975907)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparative Analysis of Statistical Model Checking Tools |
scientific article |
Statements
Comparative Analysis of Statistical Model Checking Tools (English)
0 references
12 April 2017
0 references
membrane computing
0 references
P-systems
0 references
statistical model checking
0 references
biological models
0 references
performance benchmarking
0 references
0 references
