Italiano (Italian) English (Inglese)
domenica, 17 dicembre 2017

Rapporti Tecnici

Dettagli rapporto tecnico
Autori:Simona Bernardi
Andrea Bobbio
Marco Gribaudo
Area Scientifica:Dependability and Reliability
Formal Models
Titolo:Stochastic modeling, analysis techniques and tools for dependable reactive systems
Apparso su:TR-INF-2002-10-05-UNIPMN
Editore:Computer Science Department, UPO
Anno:2002
URL:http://www.di.unipmn.it...R-INF-2002-10-05-UNIPMN.pdf
Sommario:Modeling the watchdog mechanism of the CESI application through GSPN and Fluid Petri nets.