Computer Performance Engineering 8th European Performance Engineering Workshop Epew 2011 Borrowdale Uk October 1213 2011 Proceedingsde Nigel ThomasMateriasComputer engineeringReliabilityCongressesComputer systemsFormal methods (Computer science)ComputersEvaluationSystem designElectronic systemsMathematical models