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 |
