Pubblicazioni
Autori:
Beyazit Yalcinkaya, Ebru Aydin Gol
Pubblicato in:
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Pagina/e 31-40, ISBN 978-1-7281-3373-7
Editore:
IEEE
DOI:
10.1109/formalise.2019.00010
Autori:
Irmak Saglam, Ebru Aydin Gol
Pubblicato in:
2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Pagina/e 4589-4594, ISBN 978-1-7281-1398-2
Editore:
IEEE
DOI:
10.1109/cdc40024.2019.9029894
Autori:
Mustafa Yavuz Kara, Ebru Aydin Gol
Pubblicato in:
IFAC-PapersOnLine, Numero 53/2, 2020, Pagina/e 1918-1923, ISSN 2405-8963
Editore:
IFAC Publisher in partnership with Elsevier
DOI:
10.1016/j.ifacol.2020.12.2585
Autori:
Yalcinkaya, Beyazit; Gol, Ebru Aydin
Pubblicato in:
CoRR, Numero 1, 2019
Editore:
Arxiv
Autori:
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Pubblicato in:
Acta Informatica, 2021, ISSN 0001-5903
Editore:
Springer Verlag
DOI:
10.1007/s00236-021-00403-z
Autori:
Ebru AYDIN GOL
Pubblicato in:
TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Pagina/e 1751-1764, ISSN 1303-6203
Editore:
Tubitak
DOI:
10.3906/elk-2007-170
Autori:
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Pubblicato 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, Numero 12651, 2021, Pagina/e 291-310, ISBN 978-3-030-72015-5
Editore:
Springer International Publishing
DOI:
10.1007/978-3-030-72016-2_16
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile