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:25, 14 June 2021 | RodinWorkshop2021 Data-types definitions.pdf (file) |  |
341 KB | 1 | |
| 12:34, 14 June 2021 | RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf (file) | |
341 KB | 1 | |
| 12:35, 14 June 2021 | RodinWorkshop2021 OntoEventB.pdf (file) | |
167 KB | 1 | |
| 12:36, 14 June 2021 | RodinWorkshop2021 EVBT.pdf (file) | |
42 KB | 1 | |
| 12:37, 14 June 2021 | RodinWorkshop2021 Scenario Checker.pdf (file) | |
857 KB | 1 | |
| 12:37, 14 June 2021 | RodinWorkshop2021 Context instantiation plug-in.pdf (file) | |
87 KB | 1 | |
| 12:38, 14 June 2021 | RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf (file) | |
210 KB | 1 | |
| 12:39, 14 June 2021 | RodinWorkshop2021 Towards CamilleX 3.0.pdf (file) | |
164 KB | 1 | |
| 12:39, 14 June 2021 | RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf (file) | |
146 KB | 1 | |
| 12:47, 14 June 2021 | RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf (file) | |
321 KB | 1 | |
| 14:52, 14 June 2021 | RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf (file) | |
1.27 MB | 1 | |
| 14:54, 14 June 2021 | RodinWorkshop2021 Context instantiation plug-in slides.pdf (file) | |
287 KB | 1 | |
| 14:54, 14 June 2021 | RodinWorkshop2021 Data-types definitions slides.pdf (file) | |
280 KB | 1 | |
| 14:54, 14 June 2021 | RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf (file) | |
791 KB | 1 | |
| 14:55, 14 June 2021 | RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf (file) | |
1.41 MB | 1 | |
| 12:18, 26 June 2024 | 01.pdf (file) | |
149 KB | 1 | |
| 12:18, 26 June 2024 | 01 slides.pdf (file) | |
247 KB | 1 | |
| 12:18, 26 June 2024 | 05 slides.pdf (file) | |
149 KB | 1 | |
| 12:19, 26 June 2024 | 05.pdf (file) | |
1.4 MB | 1 | |
| 12:19, 26 June 2024 | 03.pdf (file) | |
358 KB | 1 | |
| 12:19, 26 June 2024 | 06.pdf (file) | |
109 KB | 1 | |
| 11:14, 28 June 2024 | 06 slides.pdf (file) | |
80 KB | 1 | |
| 19:12, 2 July 2024 | 04.pdf (file) | |
183 KB | 1 | |
| 09:17, 3 July 2024 | 04 slides.pdf (file) | |
1.83 MB | 1 | |
| 15:12, 5 November 2024 | 02.pdf (file) | |
831 KB | 1 | |
| 15:12, 5 November 2024 | 02 slides.pdf (file) | |
1.14 MB | 1 | |
| 11:01, 19 May 2025 | 202501.pdf (file) | |
120 KB | 1 | |
| 11:02, 19 May 2025 | 202502.pdf (file) | |
177 KB | 1 | |
| 11:02, 19 May 2025 | 202504.pdf (file) | |
584 KB | 1 | |
| 11:02, 19 May 2025 | 202505.pdf (file) | |
368 KB | 1 | |
| 11:02, 19 May 2025 | 202506.pdf (file) | |
106 KB | 1 | |
| 11:02, 19 May 2025 | 202507.pdf (file) | |
253 KB | 1 | |
| 11:03, 19 May 2025 | 202508.pdf (file) | |
433 KB | 1 | |
| 11:03, 19 May 2025 | 202509.pdf (file) | |
395 KB | 1 | |
| 14:53, 2 June 2025 | 202503 pdf.pdf (file) | |
299 KB | 1 | |
| 14:59, 2 June 2025 | 202503.pdf (file) | |
299 KB | 2 |
