Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
@eaDir/ | 2023-04-05 16:40 | - | ||
Arbab_Reo_FMSOA2009.pptm | 2015-08-06 00:02 | 620K | ||
BillMitchellStochTimedAut.ppt | 2015-08-06 00:02 | 1.5M | ||
Bostrom_ifm2009-workshop.pdf | 2015-08-06 00:02 | 165K | ||
Bryans_FormalModellingAndAnalysisofBusinessInformationSystemsWithFaultTolerantMiddleware.ppt | 2015-08-06 00:02 | 822K | ||
Derrick_IFMtalk.ppt | 2015-08-06 00:02 | 2.6M | ||
Escobar_VerificationRewritingLogic.pdf | 2015-08-06 00:02 | 2.1M | ||
Kokash-FMSOA09.ppt | 2015-08-06 00:02 | 1.2M | ||
Mazzara_Dependable Composition.ppt | 2015-08-06 00:02 | 1.6M | ||
Mazzara_Towards abstractions for WS composition.pdf | 2015-08-06 00:02 | 552K | ||
RezaButler.pptx | 2015-08-06 00:02 | 1.7M | ||
Tilkov-REST-SOA-Contracts--UniD.pdf | 2015-08-06 00:02 | 1.2M | ||