01567nlm0 22004331i 450 9900092404204033219783540353652000924042FED01000924042(Aleph)000924042FED0100092404220100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Stochastic Models for Performance EvaluationRisorsa elettronicaThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedingsedited by András Horváth, Miklós TelekBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434054Documento elettronicoTestoFormato html, pdfHorváth,AndrásTelek,MiklósITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11777830EB990009240420403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationFormal Methods and Stochastic Models for Performance Evaluation772045UNINA