01865oam 2200505zu 450 99620843040331620210807004156.00-7695-4015-5(CKB)3360000000370384(SSID)ssj0001004456(PQKBManifestationID)12499182(PQKBTitleCode)TC0001004456(PQKBWorkID)11039096(PQKB)11153730(EXLCZ)99336000000037038420160829d2010 uy engtxtccr2010 15th IEEE International Conference on the Engineering of Complex Computer Systems : ICECCS 2010 : proceedings : 22-26 March 2010 Oxford, United Kingdom[Place of publication not identified]IEEE Computer Society2010Bibliographic Level Mode of Issuance: MonographICECCS 2010System designCongressesSystems engineeringCongressesElectrical & Computer EngineeringHILCCEngineering & Applied SciencesHILCCElectrical EngineeringHILCCSystem designSystems engineeringElectrical & Computer EngineeringEngineering & Applied SciencesElectrical EngineeringCalinescu Radu CKwiatkowska M. ZPaige Richard FUniversity of OxfordIEEE Computer SocietyIEEE International Conference on Engineering of Complex Computer SystemsPQKBPROCEEDING9962084304033162010 15th IEEE International Conference on the Engineering of Complex Computer Systems : ICECCS 2010 : proceedings : 22-26 March 2010 Oxford, United Kingdom2314801UNISA