المؤلفون: Maderbacher, Benedikt, Bloem, Roderick

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :315-324 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Maderbacher, Benedikt, Bloem, Roderick

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2108.00090

المؤلفون: Aichernig, Bernhard K., Maderbacher, Benedikt, Tiran, Stefan

المصدر: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Software Testing, Verification and Validation Workshops (ICSTW), 2019 IEEE International Conference on. :52-60 Apr, 2019

Relation: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

المؤلفون: Maderbacher, Benedikt^Aff9, Schupp, Stefan^Aff10, Bartocci, Ezio^Aff10, Bloem, Roderick^Aff9, Ničković, Dejan^Aff11, Könighofer, Bettina^Aff9

المساهمون: 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, Caltais, Georgiana, editor^Aff7, Schilling, Christian, editor^Aff8

المصدر: Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings. 13872:141-160

المؤلفون: Bartocci, Ezio, Bloem, Roderick, Maderbacher, Benedikt, Manjunath, Niveditha, Ničković, Dejan

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Computer Science and Game Theory, Computer Science - Logic in Computer Science, Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2010.06674

المؤلفون: Khalimov, Ayrat, Maderbacher, Benedikt, Bloem, Roderick

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1809.05017

المؤلفون: Aichernig, Bernhard K.^Aff10, Maderbacher, Benedikt^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, 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:426-448

المؤلفون: Maderbacher, Benedikt^Aff10, Karl, Anja F.^Aff10, Bloem, Roderick^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, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Deshmukh, Jyotirmoy, editor^Aff8, Ničković, Dejan, editor^Aff9

المصدر: Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings. 12399:241-258

المؤلفون: Bartocci, Ezio, Bloem, Roderick, Maderbacher, Benedikt, Manjunath, Niveditha, Ničković, Dejan

المصدر: In IFAC PapersOnLine 2021 54(5):229-234

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