File list

From Event-B
Jump to navigationJump to search

This special page shows all uploaded files.

File list
Date Name Thumbnail Size Description Versions
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: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:04, 15 June 2021 RodinWorkshop2021 OntoEventB slides.pdf (file) 1.21 MB Onto Event-B (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: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