المؤلفون: Weigl, Alexander, Bachmeier, Joshua, Ulbrich, Mattias, Beckert, Bernhard

المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :1-11 Apr, 2024

Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Schulz-Rosengarten, Alexander, Ahmad, Akash, Clement, Malte, von Hanxleden, Reinhard, Asch, Benjamin, Lohstroh, Marten, Lee, Edward A., Quiros, Gustavo, Shukla, Ankit

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2024 IEEE/ACM 46th International Conference on. :304-305 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

المؤلفون: Oca, Josu, Hermo, Montserrat, Bolotov, Alexander

المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-2 Mar, 2024

Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

المؤلفون: Hansen, Simon Thrane, Gomes, Claudio, Kazemi, Zahra

المصدر: 2023 Annual Modeling and Simulation Conference (ANNSIM) Modeling and Simulation Conference (ANNSIM), 2023 Annual. :184-195 May, 2023

Relation: 2023 Annual Modeling and Simulation Conference (ANNSIM)

المؤلفون: Bouheroum, Ayoub, Benmerzoug, Djamel, Hemam, Sofiane Mounine, Belala, Faiza, Lehamdi, Aya, Aouissate, Radhia

المصدر: 2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS) Pattern Analysis and Intelligent Systems (PAIS), 2022 4th International Conference on. :1-7 Oct, 2022

Relation: 2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)

المؤلفون: Smaali, Sahar, Boucebsi, Rachida, Ghemmaz, Wafa

المصدر: 2022 International Conference on Advanced Aspects of Software Engineering (ICAASE) Advanced Aspects of Software Engineering (ICAASE), 2022 International Conference on. :1-8 Sep, 2022

Relation: 2022 International Conference on Advanced Aspects of Software Engineering (ICAASE)

المؤلفون: Keegan, M., Braberman, V., DaIppolito, N., Piterman, N., Uchitel, S.

المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 48(6):1965-1978 Jun, 2022

المؤلفون: Wete, Eric, Greenyer, Joel, Wortmann, Andreas, Flegel, Oliver, Klein, Martin

المصدر: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2021 ACM/IEEE 24th International Conference on. :320-330 Oct, 2021

Relation: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)

المؤلفون: Lucas, Daniel, Schulz-Rosengarten, Alexander, von Hanxleden, Reinhard, Gretz, Friedrich, Grosch, Franz-Josef

المصدر: 2021 Forum on specification & Design Languages (FDL) specification & Design Languages (FDL), 2021 Forum on. :01-08 Sep, 2021

Relation: 2021 Forum on specification & Design Languages (FDL)

المؤلفون: Finkbeiner, Bernd^Aff9, Frenkel, Hadar^Aff9, Metzger, Niklas^Aff9, Siber, Julian^Aff9

المساهمون: Goos, Gerhard, Series 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, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. 14683:87-111