المؤلفون: Mammar, Amel^{Aff1, IDs1000902400749y_cor1}, Frappier, Marc

المصدر: International Journal on Software Tools for Technology Transfer. 26(3):347-363

المؤلفون: Mammar, Amel^{Aff1, IDs1000902400748z_cor1}, Frappier, Marc, Laleau, Régine

المصدر: International Journal on Software Tools for Technology Transfer. 26(3):331-346

المؤلفون: Afendi, Meryem, Mammar, Amel, Laleau, Regine

المصدر: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2022 26th International Conference on. :91-96 Mar, 2022

Relation: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)

المؤلفون: Mammar, Amel^Aff13

المساهمون: Goos, Gerhard, Series Editor^{Aff1, Aff3}, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff4, Gao, Wen, Editorial Board Member^Aff5, Steffen, Bernhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Bonfanti, Silvia, editor^Aff8, Gargantini, Angelo, editor^Aff9, Leuschel, Michael, editor^Aff10, Riccobene, Elvinia, editor^Aff11, Scandurra, Patrizia, editor^Aff12

المصدر: Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings. 14759:307-323

المؤلفون: Nganyewou Tidjon, Lionel, Frappier, Marc, Leuschel, Michael, Mammar, Amel

المصدر: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2018 23rd International Conference on. :146-155 Dec, 2018

Relation: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

المؤلفون: Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Regine, Mammar, Amel

المصدر: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2018 23rd International Conference on. :160-169 Dec, 2018

Relation: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

المؤلفون: Cartellier, Quelen^Aff9, Frappier, Marc^Aff9, Mammar, Amel^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Li, Yi, editor^Aff7, Tahar, Sofiène, editor^Aff8

المصدر: Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. 14308:228-246

المؤلفون: Mammar, Amel^Aff11, Leuschel, Michael^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Glässer, Uwe, editor^Aff7, Creissac Campos, Jose, editor^Aff8, Méry, Dominique, editor^Aff9, Palanque, Philippe, editor^Aff10

المصدر: Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings. 14010:321-339

المؤلفون: Mammar, Amel, Belguidoum, Meriem, Hiba, Saddam Hocine

المصدر: In Science of Computer Programming January 2024 232

المؤلفون: Tueno, Steve, Laleau, Regine, Mammar, Amel, Frappier, Marc

المصدر: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2017 IEEE 25th International. :1-5 Sep, 2017

Relation: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)