Index of /stups/ifm2009/slides

• Parent Directory
• @eaDir/
• Arbab_Reo_FMSOA2009.pptm
• BillMitchellStochTimedAut.ppt
• Bostrom_ifm2009-workshop.pdf
• Bryans_FormalModellingAndAnalysisofBusinessInformationSystemsWithFaultTolerantMiddleware.ppt
• Derrick_IFMtalk.ppt
• Escobar_VerificationRewritingLogic.pdf
• Kokash-FMSOA09.ppt
• Mazzara_Dependable Composition.ppt
• Mazzara_Towards abstractions for WS composition.pdf
• RezaButler.pptx
• Tilkov-REST-SOA-Contracts--UniD.pdf