Publications

Export 1 results:
Filters: Keyword is Quality assurance and Author is Salvatore Distefano  [Clear All Filters]
2010
Distefano, S., F. Longo, and M. Scarpa, "Availability assessment of HA standby redundant clusters", Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October - 3 November 2010, IEEE Computer Society, pp. 265-274, 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.