Italiano (Italian) English (Inglese)
Thursday, 28 March 2024

Publications

Back
Pubblication Details
Authors:Andrea Bobbio
Daniele Codetta Raiteri
Scientific Area:Dependability and Reliability
Formal Models
Title:Stochastic modeling, analysis techniques and tools for dependable reactive systems
Published on:TR-INF-2002-10-06-UNIPMN
Publisher:Computer Science Department, UPO
Year:2002
Tipo Pubblicazione:Technical Report
URL:http://www.di.unipmn.it...TR-INF-2002-10-06-UNIPMN.ps
Abstract:DRAWNET2SHARPE and SHARPE2ASTRA - User manual.