All public logs
From Event-B
Jump to navigationJump to search
Combined display of all available logs of Event-B. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 15:17, 15 June 2021 Son talk contribs uploaded File:RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf (Examples of using the instantiation plug-in (Rodin Workshop 2021))
- 15:15, 15 June 2021 Son talk contribs created page File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf (Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021))
- 15:15, 15 June 2021 Son talk contribs uploaded File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf (Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021))
- 15:11, 15 June 2021 Son talk contribs created page File:RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf (Large Scale Biological Models in Rodin (Rodin Workshop 2021))
- 15:11, 15 June 2021 Son talk contribs uploaded File:RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf (Large Scale Biological Models in Rodin (Rodin Workshop 2021))
- 15:08, 15 June 2021 Son talk contribs created page File:RodinWorkshop2021 Scenario Checker slides.pdf (Scenario Checker (Rodin Workshop 2021))
- 15:08, 15 June 2021 Son talk contribs uploaded File:RodinWorkshop2021 Scenario Checker slides.pdf (Scenario Checker (Rodin Workshop 2021))
- 15:04, 15 June 2021 Son talk contribs created page File:RodinWorkshop2021 OntoEventB slides.pdf (Onto Event-B (Rodin Workshop 2021))
- 15:04, 15 June 2021 Son talk contribs uploaded File:RodinWorkshop2021 OntoEventB slides.pdf (Onto Event-B (Rodin Workshop 2021))
- 14:55, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf
- 14:55, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf
- 14:54, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf
- 14:54, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf
- 14:54, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Data-types definitions slides.pdf
- 14:54, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Data-types definitions slides.pdf
- 14:54, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Context instantiation plug-in slides.pdf
- 14:54, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Context instantiation plug-in slides.pdf
- 14:52, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf
- 14:52, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf
- 14:51, 14 June 2021 Guillaume talk contribs created page Category:Theory Plug-in (Create category)
- 14:45, 14 June 2021 Guillaume talk contribs created page Theory Plug-in Developer Documentation (New page with info about Eclipse setup and release process)
- 12:47, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf
- 12:47, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf
- 12:39, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf
- 12:39, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf
- 12:39, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Towards CamilleX 3.0.pdf
- 12:39, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Towards CamilleX 3.0.pdf
- 12:38, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf
- 12:38, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf
- 12:37, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Context instantiation plug-in.pdf
- 12:37, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Context instantiation plug-in.pdf
- 12:37, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Scenario Checker.pdf
- 12:37, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Scenario Checker.pdf
- 12:36, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 EVBT.pdf
- 12:36, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 EVBT.pdf
- 12:35, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 OntoEventB.pdf
- 12:35, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 OntoEventB.pdf
- 12:34, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf
- 12:34, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf
- 12:25, 14 June 2021 Asieh talk contribs created page File:RodinWorkshop2021 Data-types definitions.pdf
- 12:25, 14 June 2021 Asieh talk contribs uploaded File:RodinWorkshop2021 Data-types definitions.pdf
- 15:08, 8 June 2021 Son talk contribs uploaded File:A Rodin plug-in for constructing reusable schematic lemmas.pdf (A Rodin plug-in for constructing reusable schematic lemmas)
- 15:07, 8 June 2021 Son talk contribs uploaded a new version of File:Rodin in the field of railway system engineering.pdf (Upload the paper in place of the slides)
- 15:01, 8 June 2021 Son talk contribs uploaded File:Rodin in the field of railway system engineering.pdf (Rodin in the field of railway system engineering (Tomas Fischer, Thales Austria GmbH))
- 10:00, 17 May 2021 Idir talk contribs created page Rodin Platform 3.6 Release Notes (Created page with "== Installing == === Downloading === [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Download Rodin 3.5 now !]")
- 08:43, 17 May 2021 User account Idir talk contribs was created by Colin talk contribs and password was sent by email
- 07:56, 14 May 2021 User account Basheer talk contribs was created by Colin talk contribs and password was sent by email
- 10:23, 29 January 2021 Asieh talk contribs created page 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...")
- 11:16, 16 December 2020 User account Guillaume talk contribs was created by Colin talk contribs and password was sent by email (Guillaume joined the development team)
- 22:10, 30 September 2020 Colin talk contribs created page UML-B - Modelling a control system (renamed to remove i)
