11.
Bence, Babati ; Endre, Fülöp ; Norbert, Pataki
Static Analysis of Multithreaded C++ Code (2020)
Poster at The 11th International Conference on Applied Informatics (ICAI 2020),
Közlemény:31152682 Admin láttamozott Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[31152682] [Admin láttamozott]
12.
Endre, Fülöp ; Norbert, Pataki
Symbolic Execution with Finite State Automata
In: William, Steingartner; Stefan, Korecko; Anikó, Szakál (szerk.) 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings
Poprad, Szlovákia : Institute of Electrical and Electronics Engineers (IEEE) (2019) pp. 116-120. , 5 p.
DOI IEEE Xplore Scopus
Közlemény:30932379 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[30932379] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
2024-05-04 07:58