Pubblicazioni
| Autori: | Andrea Bobbio |
| Ester Ciancamerla | |
| Giuliana Franceschinis | |
| Rossano Gaeta | |
| Michele Minichino | |
| Luigi Portinale | |
| Area Scientifica: | Probabilistic Graphical Models |
| Dependability and Reliability | |
| Formal Models | |
| Titolo: | Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System |
| Apparso su: | SAFECOMP |
| Pagine: | 212-223 |
| Anno: | 2002 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://dx.doi.org/10.1007/3-540-45732-1_21 |
| Sommario: | To be inserted |