-
1مؤتمر
المؤلفون: 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)
-
2تقرير
المؤلفون: Maderbacher, Benedikt, Bloem, Roderick
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2108.00090
-
3مؤتمر
المؤلفون: 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)
-
4كتاب إلكتروني
المؤلفون: Maderbacher, BenediktAff9, Schupp, StefanAff10, Bartocci, EzioAff10, Bloem, RoderickAff9, Ničković, DejanAff11, Könighofer, BettinaAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Caltais, Georgiana, editorAff7, Schilling, Christian, editorAff8
المصدر: Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings. 13872:141-160
-
5تقرير
المؤلفون: 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
-
6
-
7كتاب إلكتروني
المؤلفون: Aichernig, Bernhard K.Aff10, Maderbacher, BenediktAff10
المساهمون: 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:426-448
-
8كتاب إلكتروني
المؤلفون: Maderbacher, BenediktAff10, Karl, Anja F.Aff10, Bloem, RoderickAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Deshmukh, Jyotirmoy, editorAff8, Ničković, Dejan, editorAff9
المصدر: Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings. 12399:241-258
-
9دورية أكاديمية
المؤلفون: Bartocci, Ezio, Bloem, Roderick, Maderbacher, Benedikt, Manjunath, Niveditha, Ničković, Dejan
المصدر: In IFAC PapersOnLine 2021 54(5):229-234
-
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.