00000cmm a22000004i 4500 UP-99796217611115647 Buklod 20140211092655.0 m go j cr |n |||auu|a 110610s2011 xx u | eng d 9783642214615 (eBook) 3642214614 (eBook) (iLib)UPD-00212405570 DLC DML eng DMLUC QA 76.9 D5 I57 2011eb International Conference on Formal Methods for Open Object-Based Distributed Systems (13th 2011 Reykjavik, Iceland) Formal techniques for distributed systems [electronic resource] Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings Roberto Bruni, Juergen Dingel (Eds.). FMOODS 2011; FORTE 2011 Berlin Heidelberg Springer c2011. 1 online resource (xiv, 349 p.) LNCS sublibrary. SL 2, Programming and software engineering Originally Title from PDF t.p. (SpringerLink, viewed June 27, 2011) 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 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Electronic data processing Distributed processing Congresses. Object-oriented programming (Computer science Congresses. Formal methods (Computer science) Congresses. Electronic books. Bruni, Roberto. Dingel, Juergen. 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-21461-5 (viewed 06 August 2014) FO Monograph UPD DMLR Electronic Resource