Tudományterület szerző szerint "Guta, Gábor"

[up]
[pin missing: url][pin missing: url]
Export [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Válasszon: Folyóiratcikk - Journal article | Könyvrészlet - Book section
Találatok száma: 2.

Folyóiratcikk - Journal article

Bérczes, Tamás, Guta, Gábor, Kusper, Gábor, Schreiner, Wolfgang, Sztrik, János (2010) Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems Annales Mathematicae et Informaticae. 37. pp. 51-75. ISSN 1787-5021 (Print), 1787-6117 (Online)

Könyvrészlet - Book section

Guta, Gábor, Kusper, Gábor (2025) LLM-based framework to support the construction of valid formal models In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eger, Eszterházy Károly Catholic University. pp. 78-89.

A lista elkészítésének dátuma Tue Nov 18 14:06:55 2025 CET.
Intézményi Publikációk is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

TÁMOP-4.2.1.D-15/1/KONV-2015-0013 Kutatás, Innováció, Együttműködések – Társadalmi innováció és kutatási hálózatok együttműködésének erősítése projekt keretében készült.