-
1مؤتمر
المؤلفون: Raelijohn, Erick, Famelis, Michalis, Sahraoui, Houari
المصدر: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :86-96 May, 2021
Relation: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
-
2مؤتمر
المؤلفون: Raelijohn, Erick, Famelis, Michalis, Sahraoui, Houari
المصدر: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) Formal Methods in Software Engineering (FormaliSE), 2019 IEEE/ACM 7th International Conference on. :95-98 May, 2019
Relation: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)
-
3دورية أكاديمية
المؤلفون: Saied, Mohamed Aymen, Raelijohn, Erick, Batot, Edouard, Famelis, Michalis, Sahraoui, Houari
المصدر: In Information and Software Technology March 2020 119
-
4
المؤلفون: Raelijohn, Erick F.
المساهمون: Famelis, Michalis, Sahraoui, Houari
مصطلحات موضوعية: Patron d’utilisation d’API, Model checking, Analyse statique, Vérification de modèles, API usage patterns, Static analysis
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______317::8323aa615d1965417d302c37aa56bffc
https://hdl.handle.net/1866/24332