Italiano (Italian) English (Inglese)
Thursday, 14 December 2017

Publications

Back
Pubblication Details
Authors:Andrea Bobbio
Ester Ciancamerla
Giuliana Franceschinis
Rossano Gaeta
Michele Minichino
Luigi Portinale
Scientific Area:Probabilistic Graphical Models
Dependability and Reliability
Formal Models
Title:Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System
Published on:SAFECOMP
Pages:212-223
Year:2002
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://dx.doi.org/10.1007/3-540-45732-1_21
Abstract:To be inserted