Publications
Auteurs:
Beyazit Yalcinkaya, Ebru Aydin Gol
Publié dans:
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Page(s) 31-40, ISBN 978-1-7281-3373-7
Éditeur:
IEEE
DOI:
10.1109/formalise.2019.00010
Auteurs:
Irmak Saglam, Ebru Aydin Gol
Publié dans:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4589-4594, ISBN 978-1-7281-1398-2
Éditeur:
IEEE
DOI:
10.1109/cdc40024.2019.9029894
Auteurs:
Mustafa Yavuz Kara, Ebru Aydin Gol
Publié dans:
IFAC-PapersOnLine, Numéro 53/2, 2020, Page(s) 1918-1923, ISSN 2405-8963
Éditeur:
IFAC Publisher in partnership with Elsevier
DOI:
10.1016/j.ifacol.2020.12.2585
Auteurs:
Yalcinkaya, Beyazit; Gol, Ebru Aydin
Publié dans:
CoRR, Numéro 1, 2019
Éditeur:
Arxiv
Auteurs:
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Publié dans:
Acta Informatica, 2021, ISSN 0001-5903
Éditeur:
Springer Verlag
DOI:
10.1007/s00236-021-00403-z
Auteurs:
Ebru AYDIN GOL
Publié dans:
TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Page(s) 1751-1764, ISSN 1303-6203
Éditeur:
Tubitak
DOI:
10.3906/elk-2007-170
Auteurs:
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Publié dans:
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, Numéro 12651, 2021, Page(s) 291-310, ISBN 978-3-030-72015-5
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-72016-2_16
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible