User contributions for Asieh
From Event-B
Jump to navigationJump to search
14 June 2021
- 12:3712:37, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Context instantiation plug-in.pdf No edit summary current
- 12:3712:37, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Scenario Checker.pdf No edit summary current
- 12:3612:36, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 EVBT.pdf No edit summary current
- 12:3612:36, 14 June 2021 diff hist +1 Rodin Workshop 2021 No edit summary
- 12:3512:35, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 OntoEventB.pdf No edit summary current
- 12:3412:34, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf No edit summary current
- 12:3312:33, 14 June 2021 diff hist +480 Rodin Workshop 2021 No edit summary
- 12:2512:25, 14 June 2021 diff hist 0 Rodin Workshop 2021 No edit summary
- 12:2512:25, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Data-types definitions.pdf No edit summary current
- 12:2412:24, 14 June 2021 diff hist +45 Rodin Workshop 2021 No edit summary
- 12:0512:05, 14 June 2021 diff hist +1,480 Rodin Workshop 2021 No edit summary
29 January 2021
- 10:3110:31, 29 January 2021 diff hist −1 Rodin Workshop 2021 →Call For Papers
- 10:3010:30, 29 January 2021 diff hist +32 Rodin Workshop 2021 →Call For Papers
- 10:2510:25, 29 January 2021 diff hist −2 Rodin Workshop 2021 No edit summary
- 10:2310: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..."
