File list
From Event-B
Jump to navigationJump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 10:23, 8 July 2025 | 202504 slides.pdf (file) |  |
1.15 MB | Asieh | 1 | |
| 10:23, 8 July 2025 | 202505 slides.pdf (file) | |
1.29 MB | Asieh | 1 | |
| 10:22, 8 July 2025 | 202503 slides.pdf (file) | |
1.8 MB | Asieh | 1 | |
| 10:21, 8 July 2025 | 202508 slides.pdf (file) | |
811 KB | Asieh | 1 | |
| 13:11, 7 July 2025 | 202506 slides.pdf (file) | |
245 KB | Asieh | 1 | |
| 13:04, 7 July 2025 | 202501 slides.pdf (file) | |
143 KB | Asieh | 1 | |
| 14:59, 2 June 2025 | 202503.pdf (file) | |
299 KB | Asieh | 2 | |
| 14:53, 2 June 2025 | 202503 pdf.pdf (file) | |
299 KB | Asieh | 1 | |
| 11:03, 19 May 2025 | 202509.pdf (file) | |
395 KB | Asieh | 1 | |
| 11:03, 19 May 2025 | 202508.pdf (file) | |
433 KB | Asieh | 1 | |
| 11:02, 19 May 2025 | 202507.pdf (file) | |
253 KB | Asieh | 1 | |
| 11:02, 19 May 2025 | 202506.pdf (file) | |
106 KB | Asieh | 1 | |
| 11:02, 19 May 2025 | 202505.pdf (file) | |
368 KB | Asieh | 1 | |
| 11:02, 19 May 2025 | 202504.pdf (file) | |
584 KB | Asieh | 1 | |
| 11:02, 19 May 2025 | 202502.pdf (file) | |
177 KB | Asieh | 1 | |
| 11:01, 19 May 2025 | 202501.pdf (file) | |
120 KB | Asieh | 1 | |
| 15:12, 5 November 2024 | 02 slides.pdf (file) | |
1.14 MB | Asieh | 1 | |
| 15:12, 5 November 2024 | 02.pdf (file) | |
831 KB | Asieh | 1 | |
| 09:17, 3 July 2024 | 04 slides.pdf (file) | |
1.83 MB | Asieh | 1 | |
| 19:12, 2 July 2024 | 04.pdf (file) | |
183 KB | Asieh | 1 | |
| 11:14, 28 June 2024 | 06 slides.pdf (file) | |
80 KB | Asieh | 1 | |
| 12:19, 26 June 2024 | 06.pdf (file) | |
109 KB | Asieh | 1 | |
| 12:19, 26 June 2024 | 03.pdf (file) | |
358 KB | Asieh | 1 | |
| 12:19, 26 June 2024 | 05.pdf (file) | |
1.4 MB | Asieh | 1 | |
| 12:18, 26 June 2024 | 05 slides.pdf (file) | |
149 KB | Asieh | 1 | |
| 12:18, 26 June 2024 | 01 slides.pdf (file) | |
247 KB | Asieh | 1 | |
| 12:18, 26 June 2024 | 01.pdf (file) | |
149 KB | Asieh | 1 | |
| 15:17, 15 June 2021 | RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf (file) | |
35 KB | Son | Examples of using the instantiation plug-in (Rodin Workshop 2021) | 1 |
| 15:15, 15 June 2021 | RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf (file) | |
1.59 MB | Son | Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021) | 1 |
| 15:11, 15 June 2021 | RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf (file) | |
1.2 MB | Son | Large Scale Biological Models in Rodin (Rodin Workshop 2021) | 1 |
| 15:08, 15 June 2021 | RodinWorkshop2021 Scenario Checker slides.pdf (file) | |
1.24 MB | Son | Scenario Checker (Rodin Workshop 2021) | 1 |
| 15:04, 15 June 2021 | RodinWorkshop2021 OntoEventB slides.pdf (file) | |
1.21 MB | Son | Onto Event-B (Rodin Workshop 2021) | 1 |
| 14:55, 14 June 2021 | RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf (file) | |
1.41 MB | Asieh | 1 | |
| 14:54, 14 June 2021 | RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf (file) | |
791 KB | Asieh | 1 | |
| 14:54, 14 June 2021 | RodinWorkshop2021 Data-types definitions slides.pdf (file) | |
280 KB | Asieh | 1 | |
| 14:54, 14 June 2021 | RodinWorkshop2021 Context instantiation plug-in slides.pdf (file) | |
287 KB | Asieh | 1 | |
| 14:52, 14 June 2021 | RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf (file) | |
1.27 MB | Asieh | 1 | |
| 12:47, 14 June 2021 | RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf (file) | |
321 KB | Asieh | 1 | |
| 12:39, 14 June 2021 | RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf (file) | |
146 KB | Asieh | 1 | |
| 12:39, 14 June 2021 | RodinWorkshop2021 Towards CamilleX 3.0.pdf (file) | |
164 KB | Asieh | 1 | |
| 12:38, 14 June 2021 | RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf (file) | |
210 KB | Asieh | 1 | |
| 12:37, 14 June 2021 | RodinWorkshop2021 Context instantiation plug-in.pdf (file) | |
87 KB | Asieh | 1 | |
| 12:37, 14 June 2021 | RodinWorkshop2021 Scenario Checker.pdf (file) | |
857 KB | Asieh | 1 | |
| 12:36, 14 June 2021 | RodinWorkshop2021 EVBT.pdf (file) | |
42 KB | Asieh | 1 | |
| 12:35, 14 June 2021 | RodinWorkshop2021 OntoEventB.pdf (file) | |
167 KB | Asieh | 1 | |
| 12:34, 14 June 2021 | RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf (file) | |
341 KB | Asieh | 1 | |
| 12:25, 14 June 2021 | RodinWorkshop2021 Data-types definitions.pdf (file) | |
341 KB | Asieh | 1 | |
| 15:08, 8 June 2021 | A Rodin plug-in for constructing reusable schematic lemmas.pdf (file) | |
72 KB | Son | A Rodin plug-in for constructing reusable schematic lemmas | 1 |
| 15:07, 8 June 2021 | Rodin in the field of railway system engineering.pdf (file) | |
64 KB | Son | Upload the paper in place of the slides | 2 |
| 21:50, 30 April 2020 | Wiki.png (file) |  |
6 KB | RichardCook | 1 |
