Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Heftet /
2003
/ Engelsk
Produktdetaljer
ISBN
9783540204916
Publisert
2003-11-10
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
233 mm
Bredde
155 mm
Aldersnivå
Research, G, P, U, 01, 06, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
8
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.
Les mer
The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems.
Les mer
Springer Book Archives
Springer Book Archives
Includes supplementary material: sn.pub/extras
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540204916
Publisert
2003-11-10
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
233 mm
Bredde
155 mm
Aldersnivå
Research, G, P, U, 01, 06, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
8