|
|
Personal data sheet |
Print preview VALIDITY EXPIRED personal data approved: 2016. VIII. 31. Publications |
2014
from data base, 2017. IV. 07. |
Kozma László: A programok helyességéről, In: Szerk.: Csörnyei Zoltán Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye: 2004-2014. Budapest: ELTE Eötvös József Collegium, 2014. pp. 248-276. type of document: Part of book/Proceedings Paper language: Hungarian
|
2013
from data base, 2017. IV. 07. |
L Kozma, Gy Orbán: On semantic descriptions of software systems, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 41: (57) p. 71. type of document: Journal paper/Article language: English Full text |
2013
from data base, 2017. IV. 07. |
Kozma László, Orbán György: On semantic descriptions of software systems, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 41: pp. 57-71. type of document: Journal paper/Article language: English Full text |
2012
from data base, 2017. IV. 07. |
Orbán György, Kozma László: Defining contracts with different tools in software development, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 323-339. type of document: Journal paper/Article language: English Full text |
2011
from data base, 2017. IV. 07. |
Orbán György, Kozma László: Using Contracts for Developing and Testing Software Systems, In: Szerk.: Callaos Nagib, Szerk.: Chu Hsing-Wei, Szerk.: Horne Weremy, Szerk.: Welsch Friedrich Proceedings International Conference on Education, Informatics, and Cybernetics (ICEIC 2011).: International Symposium on Integrating Research, Education, and Problem Solving (IREPS 2011).. Orlando: [s. n.], 2011. pp. 67-72. type of document: Part of book/Proceedings Paper language: English Full text |
2011
from data base, 2017. IV. 07. |
Kozma László, Borsi Zsolt: Verifying Universal CTL* Properties by Checking the Properties on the Abstract Model of the System, In: Szerk.: Dobróka M, Szerk.: Bikfalvi P microCAD 2011, M szekció: XXV. International Scientific Conference. Miskolc: University of Miskolc Innovation and Technology Transfer Centre, 2011. pp. 13-18. Alkalmazott informatika type of document: Part of book/Proceedings Paper language: English
|
2011
from data base, 2017. IV. 07. |
Kozma László, Borsi Zsolt: Model checking and testing, In: Szerk.: Horia F Pop, Szerk.: Antal Bege 8th Joint Conference on Mathematics and Computer Science: MaCS 2010 : Komárno, Slovakia, July 14-17, 2010 : selected papers. Győr: Novadat, 2011. pp. 175-184. type of document: Part of book/Proceedings Paper language: English Full text |
2007
from data base, 2017. IV. 07. |
Dávid A, Pozsgai T, Kozma L: Extending a system with verified components, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 51: (3-4) pp. 133-139. type of document: Journal paper/Article language: English Full text |
2005
from data base, 2017. IV. 07. |
Ugron B, Hajdara S, Kozma L: Synthesis of the synchronization of general pipeline systems, ACTA CYBERNETICA-SZEGED 17: (1) pp. 123-151. type of document: Journal paper/Article number of independent citations: 1 language: English
|
2004
from data base, 2017. IV. 07. |
Kozma L, Varga L: On the starvation problem of concurrent programs, PURE MATHEMATICS AND APPLICATIONS SERIES C 15: (2-3) pp. 203-212 (2005). type of document: Journal paper/Article language: English Full text |
| Number of independent citations to these publications: | 1 |
|
|
|
|
|