User contributions for Asieh

14 June 2021

• 14:5114:51, 14 June 2021 diff hist +664‎ Rodin Workshop 2021 ‎No edit summary
• 12:4712:47, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf ‎No edit summary current
• 12:4612:46, 14 June 2021 diff hist +3‎ Rodin Workshop 2021 ‎No edit summary
• 12:3912:39, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf ‎No edit summary current
• 12:3912:39, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Towards CamilleX 3.0.pdf ‎No edit summary current
• 12:3812:38, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf ‎No edit summary current
• 12:3812:38, 14 June 2021 diff hist +7‎ Rodin Workshop 2021 ‎No edit summary
• 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..."