OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Université Abdelhamid Ibn Badis Mostaganem (ALGERIE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 5.

Benyagoub, Sarah and Aït-Ameur, Yamine and Ouederni, Meriem and Mashkoor, Atif Handling Reparation in Incremental Construction of Realizable Conversation Protocols. (2018) In: 8th International Conference On Model and Data Engineering (MEDI 2018), 24 October 2018 - 26 October 2018 (Marrakech, Morocco).

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine and Mashkoor, Atif Incremental Construction of Realizable Choreographies. (2018) In: 11th International Symposium on NASA Formal Methods (NFM 2018), 17 April 2018 - 19 April 2018 (Newport News, United States).

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine Towards correct Evolution of Conversation Protocols. (2016) In: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 6 October 2016 - 7 October 2016 (Tunis, Tunisia).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: MEDI 2016 - Model and Data Engineering - 6th International Conference, 21 September 2016 - 23 September 2016 (Almería, Spain).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: International Conference on Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).

This list was generated on Fri Sep 24 09:26:15 2021 CEST.