Pubblication Details
| Authors: | Simona Bernardi |
| Andrea Bobbio |
| Marco Gribaudo |
| Scientific Area: | Dependability and Reliability |
| Formal Models |
| Title: | Stochastic modeling, analysis techniques and tools for dependable reactive systems |
| Published on: | TR-INF-2002-10-05-UNIPMN |
| Publisher: | Computer Science Department, UPO |
| Year: | 2002 |
| Tipo Pubblicazione: | Technical Report |
| URL: | http://www.di.unipmn.it...R-INF-2002-10-05-UNIPMN.pdf |
| Abstract: | Modeling the watchdog mechanism of the CESI application through GSPN and Fluid Petri nets. |
