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 Invited Talk
export record as
dblp key:
Models and Calculi
export record as
dblp key:
export record as
dblp key:
UML
export record as
dblp key:
export record as
dblp key:
Marcel Kyas :
An Extended Type System for OCL Supporting Templates and Transformations.
83-98
export record as
dblp key:
Security
export record as
dblp key:
Fabio Martinelli :
Towards an Integrated Formal Analysis for Security and Trust.
115-130
export record as
dblp key:
Composition and Verification
export record as
dblp key:
conf/fmoods/NoresADBDVGC05 export record as
dblp key:
export record as
dblp key:
Hoang Truong :
Guaranteeing Resource Bounds for Component Software.
179-194
Analysis of Java Programs
export record as
dblp key:
Andreas Roth :
Specification and Verification of Encapsulation in Java Programs.
195-210
export record as
dblp key:
Web Services
export record as
dblp key:
conf/fmoods/VerdejoMRSLB05 export record as
dblp key:
Wolfgang Reisig :
Modeling- and Analysis Techniques for Web Services and Business Processes.
243-258
export record as
dblp key:
Specification and Verification
export record as
dblp key:
conf/fmoods/WojciechowskiR05 export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
