المؤلفون: Tappler, Martin, Pferscher, Andrea, Aichernig, Bernhard K., Konighofer, Bettina

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

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

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

المؤلفون: Bharadwaj, Suda, Bloem, Roderik, Dimitrova, Rayna, Konighofer, Bettina, Topcu, Ufuk

المصدر: 2019 American Control Conference (ACC) Control Conference (ACC), 2019 American. :1048-1055 Jul, 2019

Relation: 2019 American Control Conference (ACC)

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

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