Publications

Export 1 results:
Filters: Keyword is System components and Author is Marco Scarpa  [Clear All Filters]
2010
Distefano, S., F. Longo, and M. Scarpa, "Symbolic representation techniques in dynamic reliability evaluation", Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE), San Jose, CA, United States, 3-4 November 2010, IEEE Computer Society, pp. 45-53, 2010.