Yamine Ait Ameur

发表

2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada

Yamine Ait Ameur, 2008, CAL.

Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation

Yamine Ait Ameur, Mohamed Ahmed-Nacer, Linda Mohand-Oussaïd, 2015 .

Formal Modeling of Cyber-Physical Systems: Lessons Learn from Refinement and Proof Based Methods

Yamine Ait Ameur, 2018 .

Ontology-Based Database Approach for Handling Preferences

Gayo Diallo, Yamine Ait Ameur, Dilek Tapucu, 2010 .

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Klaus-Dieter Schewe, Yamine Ait Ameur, K. Schewe, 2014, Lecture Notes in Computer Science.