Gallery of new files
From Event-B
Jump to navigationJump to search
This special page shows the last uploaded files.
-
RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf Son
15:17, 15 June 2021
; 35 KB
-
RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf Son
15:15, 15 June 2021
; 1.59 MB
-
RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf Son
15:11, 15 June 2021
; 1.2 MB
-
RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf Asieh
14:55, 14 June 2021
; 1.41 MB
-
RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf Asieh
14:52, 14 June 2021
; 1.27 MB
-
RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf Asieh
12:47, 14 June 2021
; 321 KB
-
RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf Asieh
12:38, 14 June 2021
; 210 KB
-
RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf Asieh
12:34, 14 June 2021
; 341 KB
-
Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf Maintenance script
20:50, 30 April 2020
; 147 KB
-
A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf Maintenance script
20:50, 30 April 2020
; 72 KB