Search results
From Event-B
Jump to navigationJump to searchCreate the page "Idir" on this wiki! See also the search results found.
- * Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''3 KB (375 words) - 15:36, 26 May 2023
- * OntoEventB: A Generator of Event-B contexts from Ontologies - ''Idir Ait-Sadoune'' ([[Media:RodinWorkshop2021_OntoEventB.pdf|pdf]], [[Media:Rodi4 KB (595 words) - 09:41, 29 June 2021
- | || || Idir Ait-Sadoune, Yamine Ait- Ameur8 KB (1,073 words) - 06:13, 24 June 2014