## Download PDF by Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca: Formal Techniques for Distributed Systems: Joint 12th IFIP

By Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)

ISBN-10: 3642134645

ISBN-13: 9783642134647

This publication constitutes the refereed complaints of the twelfth IFIP WG 6.1 overseas convention on Formal tools for Open Object-Based dispensed platforms, FMOODS 2010, and the thirtieth IFIP WG 6.1 Formal strategies for Networked and allotted platforms, strong point 2010, held in Amsterdam, The Netherlands, in June 2010. The thirteen revised complete papers provided including 6 brief papers and the summary of 1 invited speak have been rigorously reviewed and chosen from 38 submissions. The papers are geared up in topical sections on formal UML modeling; parts and structure; timed method algebra; timed and hybrid automata; software logics and research; and reasoning approximately allotted structures.