User contributions for Asieh
From Event-B
Jump to navigationJump to search
18 July 2025
- 09:0709:07, 18 July 2025 diff hist 0 N File:202509 slides.pdf No edit summary current
17 July 2025
- 11:0211:02, 17 July 2025 diff hist 0 N File:202507 slides.pdf No edit summary current
- 10:2510:25, 17 July 2025 diff hist 0 N File:202502 slides.pdf No edit summary current
8 July 2025
- 10:2310:23, 8 July 2025 diff hist 0 N File:202504 slides.pdf No edit summary current
- 10:2310:23, 8 July 2025 diff hist 0 N File:202505 slides.pdf No edit summary current
- 10:2210:22, 8 July 2025 diff hist 0 N File:202503 slides.pdf No edit summary current
- 10:2110:21, 8 July 2025 diff hist 0 N File:202508 slides.pdf No edit summary current
7 July 2025
- 13:1213:12, 7 July 2025 diff hist +14 Rodin Workshop 2025 No edit summary current
- 13:1113:11, 7 July 2025 diff hist 0 N File:202506 slides.pdf No edit summary current
- 13:1113:11, 7 July 2025 diff hist +7 Rodin Workshop 2025 No edit summary
- 13:0413:04, 7 July 2025 diff hist 0 N File:202501 slides.pdf No edit summary current
6 June 2025
- 11:5711:57, 6 June 2025 diff hist −1 Rodin Workshop 2025 →Programme
2 June 2025
- 14:5914:59, 2 June 2025 diff hist 0 File:202503.pdf Asieh uploaded a new version of File:202503.pdf current
- 14:5314:53, 2 June 2025 diff hist 0 N File:202503 pdf.pdf No edit summary current
- 14:5214:52, 2 June 2025 diff hist +70 Rodin Workshop 2025 →Programme
- 12:4612:46, 2 June 2025 diff hist −145 Rodin Workshop 2025 →Programme
19 May 2025
- 11:0311:03, 19 May 2025 diff hist 0 N File:202509.pdf No edit summary current
- 11:0311:03, 19 May 2025 diff hist 0 N File:202508.pdf No edit summary current
- 11:0211:02, 19 May 2025 diff hist 0 N File:202507.pdf No edit summary current
- 11:0211:02, 19 May 2025 diff hist 0 N File:202506.pdf No edit summary current
- 11:0211:02, 19 May 2025 diff hist 0 N File:202505.pdf No edit summary current
- 11:0211:02, 19 May 2025 diff hist 0 N File:202504.pdf No edit summary current
- 11:0211:02, 19 May 2025 diff hist 0 N File:202503.pdf No edit summary
- 11:0211:02, 19 May 2025 diff hist 0 N File:202502.pdf No edit summary current
- 11:0111:01, 19 May 2025 diff hist 0 N File:202501.pdf No edit summary current
- 10:5810:58, 19 May 2025 diff hist 0 Rodin Workshop 2025 →Programme
- 10:5810:58, 19 May 2025 diff hist +1,280 Rodin Workshop 2025 No edit summary
23 April 2025
- 12:5112:51, 23 April 2025 diff hist −588 Rodin Workshop 2025 No edit summary
24 March 2025
- 22:5922:59, 24 March 2025 diff hist +193 Rodin Workshop 2025 No edit summary
11 March 2025
- 09:4709:47, 11 March 2025 diff hist +135 Rodin Workshop 2025 No edit summary
4 March 2025
- 10:5510:55, 4 March 2025 diff hist −14 Rodin Workshop 2025 No edit summary
26 February 2025
- 12:5712:57, 26 February 2025 diff hist +128 Rodin Workshop 2025 No edit summary
- 12:5512:55, 26 February 2025 diff hist +589 Rodin Workshop 2025 No edit summary
20 February 2025
- 11:4211:42, 20 February 2025 diff hist +1,686 N 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..."
5 November 2024
- 15:1215:12, 5 November 2024 diff hist 0 N File:02 slides.pdf No edit summary current
- 15:1215:12, 5 November 2024 diff hist 0 N File:02.pdf No edit summary current
3 July 2024
- 09:1709:17, 3 July 2024 diff hist 0 N File:04 slides.pdf No edit summary current
2 July 2024
- 19:1219:12, 2 July 2024 diff hist 0 N File:04.pdf No edit summary current
28 June 2024
- 11:1911:19, 28 June 2024 diff hist +66 Rodin Workshop 2024 →Programme current
- 11:1411:14, 28 June 2024 diff hist 0 N File:06 slides.pdf No edit summary current
26 June 2024
- 12:2512:25, 26 June 2024 diff hist 0 Rodin Workshop 2024 →Programme
- 12:1912:19, 26 June 2024 diff hist 0 N File:06.pdf No edit summary current
- 12:1912:19, 26 June 2024 diff hist 0 N File:03.pdf No edit summary current
- 12:1912:19, 26 June 2024 diff hist 0 N File:05.pdf No edit summary current
- 12:1812:18, 26 June 2024 diff hist 0 N File:05 slides.pdf No edit summary current
- 12:1812:18, 26 June 2024 diff hist 0 N File:01 slides.pdf No edit summary current
- 12:1812:18, 26 June 2024 diff hist 0 N File:01.pdf No edit summary current
- 12:1512:15, 26 June 2024 diff hist 0 Rodin Workshop 2024 →Programme
- 12:1512:15, 26 June 2024 diff hist +330 Rodin Workshop 2024 →Programme
18 June 2024
- 13:1513:15, 18 June 2024 diff hist −3 Rodin Workshop 2024 →Programme
