User contributions
From Event-B
Jump to navigationJump to search- 11:36, 4 December 2023 diff hist +1 Rodin Workshop 2024
- 11:36, 4 December 2023 diff hist +2 Rodin Workshop 2024
- 11:35, 4 December 2023 diff hist +31 Rodin Workshop 2024
- 11:32, 4 December 2023 diff hist +249 Rodin Workshop 2024
- 11:16, 4 December 2023 diff hist -133 Rodin Workshop 2024
- 11:04, 4 December 2023 diff hist +6 Rodin Workshop 2024
- 11:03, 4 December 2023 diff hist -3 Rodin Workshop 2024
- 11:02, 4 December 2023 diff hist +322 Rodin Workshop 2024
- 14:33, 30 November 2023 diff hist +45 Rodin Workshop 2024 →Organisers
- 14:32, 30 November 2023 diff hist -29 Rodin Workshop 2024
- 14:32, 30 November 2023 diff hist +202 Rodin Workshop 2024
- 14:28, 30 November 2023 diff hist -32 Rodin Workshop 2024
- 14:27, 30 November 2023 diff hist -43 Rodin Workshop 2024
- 14:26, 30 November 2023 diff hist +1,867 N Rodin Workshop 2024 Created page with "==11th Rodin User and Developer Workshop== The 11th Rodin User and Developer Workshop, X June, 2024, Bergamo, Italy Event-B is a formal method for system-level modelling and..."
- 12:31, 9 March 2023 diff hist +116 CamilleX User Guide current
- 12:31, 9 March 2023 diff hist +170 CamilleX Release Notes →Release history current
- 12:18, 9 March 2023 diff hist +20 CamilleX User Guide
- 10:43, 9 March 2023 diff hist +101 CamilleX User Guide
- 09:41, 29 June 2021 diff hist -52 Rodin Workshop 2021 current
- 14:59, 14 June 2021 diff hist 0 Rodin Workshop 2021
- 14:58, 14 June 2021 diff hist +1 Rodin Workshop 2021
- 14:55, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf current
- 14:54, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf current
- 14:54, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Data-types definitions slides.pdf current
- 14:54, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Context instantiation plug-in slides.pdf current
- 14:52, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf current
- 14:51, 14 June 2021 diff hist +664 Rodin Workshop 2021
- 12:47, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf current
- 12:46, 14 June 2021 diff hist +3 Rodin Workshop 2021
- 12:39, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf current
- 12:39, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Towards CamilleX 3.0.pdf current
- 12:38, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf current
- 12:38, 14 June 2021 diff hist +7 Rodin Workshop 2021
- 12:37, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Context instantiation plug-in.pdf current
- 12:37, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Scenario Checker.pdf current
- 12:36, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 EVBT.pdf current
- 12:36, 14 June 2021 diff hist +1 Rodin Workshop 2021
- 12:35, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 OntoEventB.pdf current
- 12:34, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf current
- 12:33, 14 June 2021 diff hist +480 Rodin Workshop 2021
- 12:25, 14 June 2021 diff hist 0 Rodin Workshop 2021
- 12:25, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Data-types definitions.pdf current
- 12:24, 14 June 2021 diff hist +45 Rodin Workshop 2021
- 12:05, 14 June 2021 diff hist +1,480 Rodin Workshop 2021
- 10:31, 29 January 2021 diff hist -1 Rodin Workshop 2021 →Call For Papers
- 10:30, 29 January 2021 diff hist +32 Rodin Workshop 2021 →Call For Papers
- 10:25, 29 January 2021 diff hist -2 Rodin Workshop 2021
- 10:23, 29 January 2021 diff hist +1,792 N Rodin Workshop 2021 Created page with "<h1>The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany</h1> The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de ABZ2021 Conferen..."