Italiano (Italian) English (Inglese)
sabato, 5 ottobre 2024

Rapporti Tecnici

Dettagli rapporto tecnico
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.