mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Fülöp, Endre [Fülöp, Endre (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK)
;
Pataki, Norbert [Pataki, Norbert (Informatika), szerző] ELTE 3in Kutatócsoport, Martonvásár (ELTE / IK)
Angol nyelvű Szakcikk (Folyóiratcikk) Tudományos
Megjelent:
OPEN COMPUTER SCIENCE 2299-1093
11
(1)
pp. 107-115
2020
Azonosítók
MTMT: 31787944
DOI:
10.1515/comp-2020-0120
WoS:
000608696900001
Scopus:
85098940199
Egyéb URL:
https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml
Egyéb URL:
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895
Egyéb URL:
https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5
Támogatások:
3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP
Idézett közlemények (6)
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2022-06-26 10:46
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás