Uploads by Asieh
From Event-B
Jump to navigationJump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 12:36, 14 June 2021 | RodinWorkshop2021 EVBT.pdf (file) |  |
42 KB | 1 | |
| 12:35, 14 June 2021 | RodinWorkshop2021 OntoEventB.pdf (file) | |
167 KB | 1 | |
| 12:34, 14 June 2021 | RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf (file) | |
341 KB | 1 | |
| 12:25, 14 June 2021 | RodinWorkshop2021 Data-types definitions.pdf (file) | |
341 KB | 1 |
