Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:atse:ay_1718:main [2018/06/21 17:46] michele [Exams] |
didattica:magistrale:atse:ay_1718:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 93: | Line 93: | ||
| * Use of CARMA ([[http://quanticol.github.io|link]])to model one of the scenarios described below | * Use of CARMA ([[http://quanticol.github.io|link]])to model one of the scenarios described below | ||
| - | ***Scenarios** | + | **Scenarios** |
| - | * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]] | + | * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]] |
| - | * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]] | + | * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]] |
| - | * [[https://en.wikipedia.org/wiki/Lotka–Volterra_equations|Predator-Prey Model]] | + | * [[https://en.wikipedia.org/wiki/Lotka–Volterra_equations|Predator-Prey Model]] |
| - | * [[http://www.prismmodelchecker.org/casestudies/asynchronous_leader.php|Asynchronous Leader Election]] | + | * [[http://www.prismmodelchecker.org/casestudies/asynchronous_leader.php|Asynchronous Leader Election]] |
