Publikációk

Export 2 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
Szűrők: A Cím Első Betűje = K  [Minden szűrő visszaállítása]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [MINDENT mutat]
K
Huszerl, G., Majzik, I., Pap, Z., Petri, D., Pataricza, A., and Varró, D., "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

Tóth, T., Majzik, I., and Vörös, A., "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.