Yamine Ait Ameur | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Klaus-Dieter Schewe
12 publications
Sarah Benyagoub
1 publication
Idir Ait Sadoune
1 publication
Kahina Hacid
1 publication
Linda Mohand Oussaid
1 publication

research

∙ 09/08/2020

Realisability of Control-State Choreographies

Choreographies prescribe the rendez-vous synchronisation of messages in ...

0 Klaus-Dieter Schewe, et al. ∙

research

∙ 05/15/2018

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

This paper reports on the results of the French ANR IMPEX research proje...

0 Yamine Ait Ameur, et al. ∙