Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2007
Series:
Lecture Notes in Computer Science (Book 4468)
Author:
Marcello M. Bonsangue, Einar Broch Johnsen
ISBN:
9783540729525
Related ISBNs:
9783540729198
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-07-15
Usage restrictions:
Copyright
Copyright date:
2007
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction