-
1مؤتمر
المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :38-50 Apr, 2024
Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)
-
2مؤتمر
المؤلفون: Konighofer, Bettina
المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-1 Oct, 2023
Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)
-
3مؤتمر
المؤلفون: Pranger, Stefan, Konighofer, Bettina, Tappler, Martin, Deixelberger, Martin, Jansen, Nils, Bloem, Roderick
المصدر: 2021 American Control Conference (ACC) American Control Conference (ACC), 2021. :3467-3474 May, 2021
Relation: 2021 American Control Conference (ACC)
-
4مؤتمر
المصدر: 2019 American Control Conference (ACC) Control Conference (ACC), 2019 American. :1048-1055 Jul, 2019
Relation: 2019 American Control Conference (ACC)
-
5مؤتمر
المؤلفون: Bloem, Roderick, Hofferek, Georg, Konighofer, Bettina, Konighofer, Robert, Auserlechner, Simon, Spork, Raphael
المصدر: 2014 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2014. :35-42 Oct, 2014
Relation: 2014 Formal Methods in Computer-Aided Design (FMCAD)
-
6مؤتمر
المؤلفون: Hofferek, Georg, Gupta, Ashutosh, Konighofer, Bettina, Jiang, Jie-Hong Roland, Bloem, Roderick
المصدر: 2013 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2013. :77-84 Oct, 2013
Relation: 2013 Formal Methods in Computer-Aided Design (FMCAD)