Two component systems

Symbolic representation techniques in dynamic reliability evaluation

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.

From MDSLab

#SmartME - MESSINA IN THE FUTURE Admin

The #SmartME project was born from a wish of a team of researchers in the Mobile and Distributed Systems Lab (MDSLab) at the University of Messina who, in collaboration with the Industrial Liaison Office and the Center for Information Services of the University (CIAM), are eager to encourage, in an innovative fashion, a “conversation” with the municipality of Messina, ... read more.

You are here

Two component systems