Publications

Export 7 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is N  [Clear All Filters]
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   [Show ALL]
N
Németh, E., and Bartha, T., "Verification of the PRISE safety procedure by formal methods", Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
Németh, E., and Bartha, T., "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///.
Németh, E., Bartha, T., Fazekas, C., and Hangos, K. M., "Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets", Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
Németh, E., and Bartha, T., "Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications", 13th international workshop on formal methods for industrial critical systems (FMICS), pp. 219 - 234, 2008. Abstract
Nagy, A S., and Varró, D., "Effects of Graph Transformation Rules to Design Space Exploration Problems", Proceedings of the 24th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
Nagy, S J., Graics, B., Kristóf, M., and Vörös, A., "Simulation-based Safety Assessment of High-level Reliability Models", 4th Workshop on Models for Formal Analysis of Real Systems, 2020. Abstract
Nagy, A S., and Szárnyas, G., "Class Responsibility Assignment Case: a VIATRA-DSE Solution", 9th Transformation Tool Contest, Vienna, Austria, 2016.