Search results

Create the page "Idir" on this wiki! See also the search results found.

• Rodin Workshop 2023
  * Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''
  3 KB (375 words) - 15:36, 26 May 2023
• Rodin Workshop 2021
  * OntoEventB: A Generator of Event-B contexts from Ontologies - ''Idir Ait-Sadoune'' ([[Media:RodinWorkshop2021_OntoEventB.pdf|pdf]], [[Media:Rodi
  4 KB (595 words) - 09:41, 29 June 2021
• Rodin Workshop 2014
  | || || Idir Ait-Sadoune, Yamine Ait- Ameur
  8 KB (1,073 words) - 06:13, 24 June 2014