-
1مؤتمر
المؤلفون: Hadzic, Vedad, Bloem, Roderick, Shukla, Ankit, Seidl, Martina
المصدر: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :80-83 Sep, 2022
Relation: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
-
2مؤتمر
المؤلفون: Hadzic, Vedad, Bloem, Roderick
المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :14-23 Oct, 2021
Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)
-
3تقرير
-
4مؤتمر
المؤلفون: Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad, Egly, Uwe, Lonsing, Florian, Seidl, Martina
المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-10 Oct, 2018
Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)
-
5تقرير
-
6دورية أكاديمية
المؤلفون: Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, VedadAff1, Egly, Uwe, Lonsing, Florian, Seidl, Martina
المصدر: Formal Methods in System Design: An International Journal. 57(2):157-177