Index of /ifm09/slides

Icon  Name                                                                                         Last modified      Size  Description
[   ] Arbab_Reo_FMSOA2009.pptm 16-Feb-2009 14:14 620K [   ] BillMitchellStochTimedAut.ppt 16-Feb-2009 13:33 1.5M [   ] Bostrom_ifm2009-workshop.pdf 25-Feb-2009 15:57 165K [   ] Bryans_FormalModellingAndAnalysisofBusinessInformationSystemsWithFaultTolerantMiddleware.ppt 25-Feb-2009 14:35 822K [   ] Derrick_IFMtalk.ppt 26-Feb-2009 10:58 2.6M [   ] Escobar_VerificationRewritingLogic.pdf 25-Feb-2009 14:35 2.1M [   ] Kokash-FMSOA09.ppt 16-Feb-2009 11:38 1.2M [   ] Mazzara_Dependable Composition.ppt 16-Feb-2009 00:43 1.6M [   ] Mazzara_Towards abstractions for WS composition.pdf 20-Feb-2008 22:24 552K [   ] RezaButler.pptx 16-Feb-2009 15:19 1.7M [   ] Tilkov-REST-SOA-Contracts--UniD.pdf 25-Feb-2009 13:33 1.2M
Apache/2.0.53 (Linux/SUSE) Server at www.formal-methods.de Port 80