Rapporti Tecnici
| Autori: | Andrea Bobbio |
| Daniele Codetta Raiteri | |
| Area Scientifica: | Dependability and Reliability |
| Formal Models | |
| Titolo: | Stochastic modeling, analysis techniques and tools for dependable reactive systems |
| Apparso su: | TR-INF-2002-10-06-UNIPMN |
| Editore: | Computer Science Department, UPO |
| Anno: | 2002 |
| URL: | http://www.di.unipmn.it...TR-INF-2002-10-06-UNIPMN.ps |
| Sommario: | DRAWNET2SHARPE and SHARPE2ASTRA - User manual. |