Veröffentlichungen
Autoren:
Beyazit Yalcinkaya, Ebru Aydin Gol
Veröffentlicht in:
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Seite(n) 31-40, ISBN 978-1-7281-3373-7
Herausgeber:
IEEE
DOI:
10.1109/formalise.2019.00010
Autoren:
Irmak Saglam, Ebru Aydin Gol
Veröffentlicht in:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Seite(n) 4589-4594, ISBN 978-1-7281-1398-2
Herausgeber:
IEEE
DOI:
10.1109/cdc40024.2019.9029894
Autoren:
Mustafa Yavuz Kara, Ebru Aydin Gol
Veröffentlicht in:
IFAC-PapersOnLine, Ausgabe 53/2, 2020, Seite(n) 1918-1923, ISSN 2405-8963
Herausgeber:
IFAC Publisher in partnership with Elsevier
DOI:
10.1016/j.ifacol.2020.12.2585
Autoren:
Yalcinkaya, Beyazit; Gol, Ebru Aydin
Veröffentlicht in:
CoRR, Ausgabe 1, 2019
Herausgeber:
Arxiv
Autoren:
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Veröffentlicht in:
Acta Informatica, 2021, ISSN 0001-5903
Herausgeber:
Springer Verlag
DOI:
10.1007/s00236-021-00403-z
Autoren:
Ebru AYDIN GOL
Veröffentlicht in:
TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Seite(n) 1751-1764, ISSN 1303-6203
Herausgeber:
Tubitak
DOI:
10.3906/elk-2007-170
Autoren:
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I, Ausgabe 12651, 2021, Seite(n) 291-310, ISBN 978-3-030-72015-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-72016-2_16
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor