-
1تقرير
المؤلفون: Prasetya, I. S. W. B., Ricós, Fernando Pastor, Kifetew, Fitsum, Prandi, Davide, Shirzadeh-hajimahmood, Samira, Vos, Tanja E. J., Paska, Premysl, Hovorska, Karel, Ferdous, Raihana, Susi, Angelo, Davidson, Joseph
مصطلحات موضوعية: Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/2211.06386
-
2كتاب إلكتروني
المؤلفون: Ricós, Fernando PastorAff10, Neeft, RickAff11, Marín, BeatrizAff10, Vos, Tanja E. J.Aff10, Aff11, Aho, PekkaAff11
المساهمون: van der Aalst, Wil, Series EditorAff1, Ram, Sudha, Series EditorAff2, Rosemann, Michael, Series EditorAff3, Szyperski, Clemens, Series EditorAff4, Guizzardi, Giancarlo, Series EditorAff5, Nurcan, Selmin, editorAff6, Opdahl, Andreas L., editorAff7, Mouratidis, Haralambos, editorAff8, Tsohou, Aggeliki, editorAff9
المصدر: Research Challenges in Information Science: Information Science and the Connected World : 17th International Conference, RCIS 2023, Corfu, Greece, May 23–26, 2023, Proceedings. 476:509-517
-
3كتاب إلكتروني
المؤلفون: Mulders, AdAff9, Valdes, Olivia RodriguezAff9, Ricós, Fernando PastorAff10, Aho, PekkaAff9, Marín, BeatrizAff10, Vos, Tanja E. J.Aff9, Aff10
المساهمون: van der Aalst, Wil, Series EditorAff1, Mylopoulos, John, Series EditorAff2, Ram, Sudha, Series EditorAff3, Rosemann, Michael, Series EditorAff4, Szyperski, Clemens, Series EditorAff5, Guizzardi, Renata, editorAff6, Ralyté, Jolita, editorAff7, Franch, Xavier, editorAff8
المصدر: Research Challenges in Information Science : 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. 446:546-563
-
4كتاب إلكتروني
المؤلفون: Ricós, Fernando PastorAff10, Aho, PekkaAff11, Vos, TanjaAff10, Aff11, Boigues, Ismael TorresAff10, Aff11, Aff12, Blasco, Ernesto CalásAff10, Aff11, Aff12, Martínez, Héctor MartínezAff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff9, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Margaria, Tiziana, editorAff8
المصدر: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. 12476:543-557
-
5دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.