I. Majzik

JACoW : What is special about PLC software model checking?

D. Darvas, E. Blanco Viñuela, I. Majzik, 2018 .

Tool-Supported Dependability Evaluation of Redundant Architectures in Computer-Based Control Systems

I. Majzik, P. Domokos, I. Majzik, 2006 .

Model-based Integration, Execution and Certification of Development Tool-chains

I. Majzik, B. Polgár, I. Ráth, 2009 .

A High-speed Watchdog Processor for Multitasking Systems

W. Hohl, A. Pataricza, I. Majzik, 1994 .