![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| 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 | |