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
    Támogatások:
    • 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-06-26 10:46