Index of /ifm09/slides
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