mtmtMagyar 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 CSLMásolásNyomtatás

2022-06-26 10:46

×

Lista exportálása irodalomjegyzékként

Hivatkozás stílusok: IEEE ACM APA Chicago HarvardNyomtatásMásolás