A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution

Tartalom:	http://hdl.handle.net/10831/111426
Archívum:	EDIT
Gyűjtemény:	Publikációk MTMT Tudományos publikációk Tudományos publikációk (IK)
Cím:	A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Létrehozó:	Fülöp, Endre Pataki, Norbert
Dátum:	2020
Típus:	info:eu-repo/semantics/article
Formátum:	application/pdf
Azonosító:	http://hdl.handle.net/10831/111426 doi:https://doi.org/10.1515/comp-2020-0120 elte:000608696900001 elte:85098940199 elte:31787944 elte:1 elte:OPEN COMPUTER SCIENCE elte:OPEN COMPUTER SCIENCE elte:11 elte:10089076 LOMS: https://edit.elte.hu/xmlui/bitstream/10831/111426/1/31787944.pdf
Létrehozó:	info:eu-repo/semantics/openAccess

TUdományos DOkumentumok Közös Keresője