Italiano (Italian) English (Inglese)
Wednesday, 12 December 2018

Technical Reports

Technical Report 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
Abstract:Modeling the watchdog mechanism of the CESI application through GSPN and Fluid Petri nets.