Uploads by Asieh

From Event-B
Jump to navigationJump to search

This special page shows all uploaded files.

File list
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
Retrieved from ‘https://wiki.event-b.org/index.php/Special:ListFiles’