Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2884)
Conference series link(s): FMOODS: International Conference on Formal Methods for Open Object-Based Distributed Systems
Conference proceedings info: FMOODS 2003.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (19 papers)
-
Front Matter
-
Invited Talk
About this book
Keywords
- .NET
- Java
- Unified Modeling Language (UML)
- distributed systems
- formal method
- logic
- object oriented design
- verification
Editors and Affiliations
-
Telecom ParisTech (ENST), Paris, France
Elie Najm
-
Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
Uwe Nestmann
-
School of Informatics, University of Edinburgh, UK
Perdita Stevens
Bibliographic Information
Book Title: Formal Methods for Open Object-Based Distributed Systems
Book Subtitle: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Editors: Elie Najm, Uwe Nestmann, Perdita Stevens
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b94120
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 2003
Softcover ISBN: 978-3-540-20491-6Published: 10 November 2003
eBook ISBN: 978-3-540-39958-2Published: 24 November 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 340
Topics: Programming Techniques, Computer Communication Networks, Software Engineering, Compilers and Interpreters, Operating Systems, Computer Science Logic and Foundations of Programming