Automated Static Analysis of Quality of Service Properties of Communicating Systems.

Carlos Gustavo Lpez Pombo, Agustn Eloy Martinez Su, Emilio Tuosto

Browse the full FM paper archive.