dblp.uni-trier.de www.uni-trier.de

7. FMOODS 2005: Athens, Greece

Martin Steffen, Gianluigi Zavattaro (Eds.): Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535 Springer 2005, ISBN 3-540-26181-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talk

Models and Calculi

UML

Security

Composition and Verification

Analysis of Java Programs

Web Services

Specification and Verification

Copyright © Mon Nov 2 20:36:36 2009 by Michael Ley (ley@uni-trier.de)