00000cmm a22000004i 4500 UP-99796217611095368 Buklod 20140204112644.0 m go j cr |n |||auu|a 110907s2011 xx u | eng d 9783642242700 (eBook) 3642242707 (eBook) (iLib)UPD-00212404860 DLC DML eng DMLUC QA 76.76 R44 S24 2011eb SAFECOMP (Conference) (30th 2011 Naples, Italy) Computer safety, reliability, and security [electronic resource] 30th international conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. proceedings Francesco Flammini, Sandro Bologna, Valeria Vittorini, Eds. Berlin, Heidelberg Springer 2011. 1 online resource (xiv, 482 p.) ill Lecture notes in computer science 6894 LNCS sublibrary. SL 2, Programming and software engineering IP-based subscription, access limited to within on campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Computers Reliability Congresses. Computer security Congresses. Electronic books. Flammini, Francesco. Bologna, Sandro. Vittorini, Valeria. SpringerLink (Online service). Available for University of the Philippines Diliman via SpringerLink. Click here to access http://link.springer.com/book/10.1007/978-3-642-24270-0 (viewed 11 June 2014) FO Monograph UPD DMLR Electronic Resource