File list

From Event-B
Jump to navigationJump to search

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size User Description Versions
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
20:50, 30 April 2020 AllD prover.gif (file) 341 bytes Maintenance script   1
20:50, 30 April 2020 Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf (file) 147 KB Maintenance script   1
20:50, 30 April 2020 FontainebleauAccommodation.pdf (file) 48 KB Maintenance script   1
20:50, 30 April 2020 GenInst-wizard2.jpg (file) 54 KB Maintenance script   1
20:50, 30 April 2020 Share variable mach comp1.jpeg (file) 15 KB Maintenance script   1
20:50, 30 April 2020 Slides PereverzevaInna.pdf (file) 966 KB Maintenance script   1
20:50, 30 April 2020 Step6.png (file) 48 KB Maintenance script   1
20:50, 30 April 2020 A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf (file) 72 KB Maintenance script   1
20:50, 30 April 2020 Extend Rodin Tuto 1 4 ProjectExplorer1.png (file) 21 KB Maintenance script   1
20:50, 30 April 2020 FunOvrHypAfter1.png (file) 44 KB Maintenance script   1
20:50, 30 April 2020 Install new software.png (file) 75 KB Maintenance script   1
20:50, 30 April 2020 MBT for Event-B Screenshot -2.png (file) 23 KB Maintenance script   1
20:50, 30 April 2020 Machine related renaming.png (file) 9 KB Maintenance script   1
20:50, 30 April 2020 MaxhoursConstant.jpg (file) 12 KB Maintenance script   1
20:50, 30 April 2020 Rodin2010-abs-turcanu.pdf (file) 33 KB Maintenance script   1
20:50, 30 April 2020 Rodin 3.2 symbols.gif (file) 451 KB Maintenance script   1
20:50, 30 April 2020 SelectNewProjectType.jpg (file) 14 KB Maintenance script   1
20:50, 30 April 2020 Set-hypSel0 1-INV-sel.png (file) 24 KB Maintenance script   1
20:50, 30 April 2020 Share event machine.jpeg (file) 23 KB Maintenance script   1
20:50, 30 April 2020 Step 6 Wiki.png (file) 64 KB Maintenance script   1
20:50, 30 April 2020 Syntax2.svg (file) 4 KB Maintenance script   1
20:50, 30 April 2020 Um-0006.png (file) 15 KB Maintenance script   1
20:50, 30 April 2020 Um-0007.png (file) 10 KB Maintenance script   1
20:50, 30 April 2020 Um-0089.png (file) 31 KB Maintenance script   1
20:50, 30 April 2020 DecompositionPlug-in logo.png (file) 4 KB Maintenance script   1
20:50, 30 April 2020 EMFcore1abstract.gif (file) 26 KB Maintenance script   1
20:50, 30 April 2020 EMFevent1.gif (file) 16 KB Maintenance script   1
First pagePrevious pageNext pageLast page
Retrieved from ‘https://wiki.event-b.org/index.php/Special:ListFiles’