Publications
] Filters: First Letter Of Title is F [Clear All Filters]
Formal Methods in Computing,
: {Akadémiai Kiadó, pp. 357–425, 2005.
"Formal verification of complex properties on PLC programs",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
"Formal verification of function block based specifications of safety-critical software",
Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
"Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications",
Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
"Formal Verification of Safety PLC Based Control Software",
Integrated Formal Methods, vol. 9681: Springer, pp. 508-522, 2016.
Formális módszerek az informatikában,
: Typotex, 2004.
In Hungarian
