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).
- 14:59, 2 June 2025 Asieh talk contribs uploaded a new version of File:202503.pdf
- 14:53, 2 June 2025 Asieh talk contribs created page File:202503 pdf.pdf
- 14:53, 2 June 2025 Asieh talk contribs uploaded File:202503 pdf.pdf
- 11:03, 19 May 2025 Asieh talk contribs created page File:202509.pdf
- 11:03, 19 May 2025 Asieh talk contribs uploaded File:202509.pdf
- 11:03, 19 May 2025 Asieh talk contribs created page File:202508.pdf
- 11:03, 19 May 2025 Asieh talk contribs uploaded File:202508.pdf
- 11:02, 19 May 2025 Asieh talk contribs created page File:202507.pdf
- 11:02, 19 May 2025 Asieh talk contribs uploaded File:202507.pdf
- 11:02, 19 May 2025 Asieh talk contribs created page File:202506.pdf
- 11:02, 19 May 2025 Asieh talk contribs uploaded File:202506.pdf
- 11:02, 19 May 2025 Asieh talk contribs created page File:202505.pdf
- 11:02, 19 May 2025 Asieh talk contribs uploaded File:202505.pdf
- 11:02, 19 May 2025 Asieh talk contribs created page File:202504.pdf
- 11:02, 19 May 2025 Asieh talk contribs uploaded File:202504.pdf
- 11:02, 19 May 2025 Asieh talk contribs created page File:202503.pdf
- 11:02, 19 May 2025 Asieh talk contribs uploaded File:202503.pdf
- 11:02, 19 May 2025 Asieh talk contribs created page File:202502.pdf
- 11:02, 19 May 2025 Asieh talk contribs uploaded File:202502.pdf
- 11:01, 19 May 2025 Asieh talk contribs created page File:202501.pdf
- 11:01, 19 May 2025 Asieh talk contribs uploaded File:202501.pdf
- 11:42, 20 February 2025 Asieh talk contribs created page Rodin Workshop 2025 (Created page with " ==12th Rodin User and Developer Workshop== The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany Event-B is a formal method for system-level modelling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modelling and automated proof. The platform is open source and is further extendable with plug-ins. A range of plug-ins have already been developed. The 12th Rodin workshop will be co...")
- 15:12, 5 November 2024 Asieh talk contribs created page File:02 slides.pdf
- 15:12, 5 November 2024 Asieh talk contribs uploaded File:02 slides.pdf
- 15:12, 5 November 2024 Asieh talk contribs created page File:02.pdf
- 15:12, 5 November 2024 Asieh talk contribs uploaded File:02.pdf
- 09:17, 3 July 2024 Asieh talk contribs created page File:04 slides.pdf
- 09:17, 3 July 2024 Asieh talk contribs uploaded File:04 slides.pdf
- 19:12, 2 July 2024 Asieh talk contribs created page File:04.pdf
- 19:12, 2 July 2024 Asieh talk contribs uploaded File:04.pdf
- 11:14, 28 June 2024 Asieh talk contribs created page File:06 slides.pdf
- 11:14, 28 June 2024 Asieh talk contribs uploaded File:06 slides.pdf
- 12:19, 26 June 2024 Asieh talk contribs created page File:06.pdf
- 12:19, 26 June 2024 Asieh talk contribs uploaded File:06.pdf
- 12:19, 26 June 2024 Asieh talk contribs created page File:03.pdf
- 12:19, 26 June 2024 Asieh talk contribs uploaded File:03.pdf
- 12:19, 26 June 2024 Asieh talk contribs created page File:05.pdf
- 12:19, 26 June 2024 Asieh talk contribs uploaded File:05.pdf
- 12:18, 26 June 2024 Asieh talk contribs created page File:05 slides.pdf
- 12:18, 26 June 2024 Asieh talk contribs uploaded File:05 slides.pdf
- 12:18, 26 June 2024 Asieh talk contribs created page File:01 slides.pdf
- 12:18, 26 June 2024 Asieh talk contribs uploaded File:01 slides.pdf
- 12:18, 26 June 2024 Asieh talk contribs created page File:01.pdf
- 12:18, 26 June 2024 Asieh talk contribs uploaded File:01.pdf
- 14:26, 30 November 2023 Asieh talk contribs created page 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...")
- 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