Back to results
Cover image for book Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
By:Einar Broch Johnsen; Marcello M. Bonsangue
Publisher:Springer Nature
Print ISBN:9783540729198
eText ISBN:9783540729525
Edition:1
Copyright:2007
Format:Page Fidelity

eBook Features

Instant Access

Purchase and read your book immediately

Read Offline

Access your eTextbook anytime and anywhere

Study Tools

Built-in study tools like highlights and more

Read Aloud

Listen and follow along as Bookshelf reads to you

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.