Publications
Authors: | Daniele Codetta Raiteri |
Title: | BDD based analysis of Parametric Fault Tress |
Published on: | Proceedings of the Annual Reliability and Maintainability Symposium |
Pages: | 442-449 |
Publisher: | IEEE |
Year: | 2006 |
Tipo Pubblicazione: | Paper on Proceedings International Conference |
URL: | http://dx.doi.org/10.1109/RAMS.2006.1677414 |