Nyomtatási kép ARCHÍV OLDAL Az adatok hitelességéről nyilatkozott: 2016. VIII. 31. Közlemények |
2014
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: magyar
|
2013
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol Teljes szöveg |
2013
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol Teljes szöveg |
2012
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol Teljes szöveg |
2011
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol Teljes szöveg |
2011
adattárból, 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 dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol
|
2011
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol Teljes szöveg |
2007
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol Teljes szöveg |
2005
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 1 nyelv: angol
|
2004
adattárból, 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). dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol Teljes szöveg |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 1 |
|
|