Limit search to available items
Book Cover
E-book
Author International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavík, Iceland)

Title Formal techniques for distributed systems : 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.)
Published Heidelberg : Springer, 2011
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xiv, 348 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 6722
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 6722. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Summary 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
Bibliography Includes bibliographical references and index
Subject Electronic data processing -- Distributed processing -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Bruni, Roberto.
Dingel, Juergen.
IFIP Working Group 6.1.
FORTE 2011 (2011 : Reykjavík, Iceland)
LC no. 2011928308
ISBN 9783642214615
3642214614
Other Titles FMOODS 2011
FORTE 2011