Uploads by Son
From Event-B
Jump to navigationJump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 15:17, 15 June 2021 | RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf (file) |  |
35 KB | 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 | 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 | Large Scale Biological Models in Rodin (Rodin Workshop 2021) | 1 |
| 15:08, 15 June 2021 | RodinWorkshop2021 Scenario Checker slides.pdf (file) | |
1.24 MB | Scenario Checker (Rodin Workshop 2021) | 1 |
| 15:04, 15 June 2021 | RodinWorkshop2021 OntoEventB slides.pdf (file) | |
1.21 MB | Onto Event-B (Rodin Workshop 2021) | 1 |
| 15:08, 8 June 2021 | A Rodin plug-in for constructing reusable schematic lemmas.pdf (file) | |
72 KB | 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 | Upload the paper in place of the slides | 2 |
