User contributions for Asieh

From Event-B
A user with 66 edits. Account created on 19 May 2020.
Jump to navigationJump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

20 February 2025

  • 11:4211:42, 20 February 2025 diff hist +1,686 N Rodin Workshop 2025Created 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..." current

5 November 2024

3 July 2024

2 July 2024

28 June 2024

26 June 2024

18 June 2024

4 December 2023

30 November 2023

9 March 2023

29 June 2021

14 June 2021

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)