Publikációk
] Szűrők: A Cím Első Betűje = K [Minden szűrő visszaállítása]
"Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
"K-induction based verification of real-time safety critical systems.",
Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
