Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic verification of a biodiesel production system using statistical model checking |
scientific article |
Statements
Probabilistic verification of a biodiesel production system using statistical model checking (English)
0 references
17 November 2014
0 references
biochemical model
0 references
stochastic system
0 references
biofuels
0 references
stochastic analysis
0 references
