Publikációk

Bartha Tamás

Ph.D.

tudományos főmunkatárs, kutató

Rendszer és Irányításelméleti Kutatólaboratórium

Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant

Szerzők

Gábor, Attila

Sonnevend, Ilona

Szerkesztők

J, Bokor

Z, Szabo

Megjelenés

2011

In: 9th European Workshop on Advanced Control and Diagnosis, 2011-11-17 - 2011-11-18, Budapest, Magyarország.

Design and implementation of an improved and reliable pressurizer controller at the Paks NPP

Szerzők

Fazekas, Csaba

Megjelenés

2009-06-30

In: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009..

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets

Szerzők

Németh, Erzsébet

Fazekas, Csaba

Hangos, Katalin

Megjelenés

2009

Reliability Engineering and System Safety, 94 (5)., pp. 942-953.

Development of safety software for the Paks Nuclear Power Plant

Szerzők

Megjelenés

2008

ERCIM News ((75))., pp. 53-54.

Formal verification of safety functions by reinterpretation of functional block based specifications

Szerzők

Németh, Erzsébet

Szerkesztők

Cofer, D.

Fantechi, A.

Megjelenés

2008

In: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008..

Integrált irányítási alkalmazások járműrendszerekben

Szerzők

Gáspár, Péter

Megjelenés

2007

A Jövő Járműve - Járműipari Innováció (1-2)., pp. 28-31.

Formal verification of function block based specifications of safety-critical software

Szerzők

Németh, Erzsébet

Szerkesztők

Monostori, László

Ilie-Zudor, Angyalka Elisabeth

Megjelenés

2006

In: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006..

Állapotmonitorozási és megbízhatósági információk integrálása erőművi informatikai rendszerekben

Szerzők

Szabó, G.

Megjelenés

2005

ACTA AGRARIA KAPOSVÁRIENSIS, 8 (3)., pp. 99-115.

Implementation of a testing and diagnostic concept for an NPP reactor protection system

Szerzők

Soumelidis, Alexandros

Szabó, G.

Megjelenés

2005

LECTURE NOTES IN COMPUTER SCIENCE, 3463, pp. 391-402.

Formális módszerek az informatikában

Szerzők

Csertán, GY

Gyapay, SZ

Majzik, I.

Pataricza, A.

Varró, D.

Megjelenés

2004

Typotex, Budapest, pp. 312.