Publications
] Filters: First Letter Of Last Name is N [Clear All Filters]
"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.
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems",
Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
Abstract
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8
