Title:
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings
Publication Information:
Berlin Heidelberg : Springer-Verlag GmbH., 2007.
Physical Description:
x, 316 p. : ill., digital ; 24 cm.
ISBN:
9783540729525
General Note:
Available in online version
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-72952-5
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | EB001249 | EB 001249 | Electronic Book | 1:EBOOK | Searching... |
On Order
Summary
Summary
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.