المؤلفون: 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

المؤلفون: Ricós, Fernando Pastor^Aff10, Neeft, Rick^Aff11, Marín, Beatriz^Aff10, Vos, Tanja E. J.^{Aff10, Aff11}, Aho, Pekka^Aff11

المساهمون: van der Aalst, Wil, Series Editor^Aff1, Ram, Sudha, Series Editor^Aff2, Rosemann, Michael, Series Editor^Aff3, Szyperski, Clemens, Series Editor^Aff4, Guizzardi, Giancarlo, Series Editor^Aff5, Nurcan, Selmin, editor^Aff6, Opdahl, Andreas L., editor^Aff7, Mouratidis, Haralambos, editor^Aff8, Tsohou, Aggeliki, editor^Aff9

المصدر: 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

المؤلفون: Mulders, Ad^Aff9, Valdes, Olivia Rodriguez^Aff9, Ricós, Fernando Pastor^Aff10, Aho, Pekka^Aff9, Marín, Beatriz^Aff10, Vos, Tanja E. J.^{Aff9, Aff10}

المساهمون: van der Aalst, Wil, Series Editor^Aff1, Mylopoulos, John, Series Editor^Aff2, Ram, Sudha, Series Editor^Aff3, Rosemann, Michael, Series Editor^Aff4, Szyperski, Clemens, Series Editor^Aff5, Guizzardi, Renata, editor^Aff6, Ralyté, Jolita, editor^Aff7, Franch, Xavier, editor^Aff8

المصدر: Research Challenges in Information Science : 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. 446:546-563

المؤلفون: Ricós, Fernando Pastor^Aff10, Aho, Pekka^Aff11, Vos, Tanja^{Aff10, Aff11}, Boigues, Ismael Torres^{Aff10, Aff11, Aff12}, Blasco, Ernesto Calás^{Aff10, Aff11, Aff12}, Martínez, Héctor Martínez^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, Aff9}, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Margaria, Tiziana, editor^Aff8

المصدر: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.