Concepedia

Tamás Bartha

TB

3

Publications

50

Citations

3

H-Index

2008

Active since

Affiliations

Institute for Computer Science and Control(Current)

Budapest University of Technology and Economics

Tamás Bartha is an author at Institute for Computer Science and Control specializing in safety engineering, engineering, and systems engineering.

ORCID

Top concepts

Publications per year

2008–2022

3

Publications

3

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

Erzsébet Németh, Tamás Bartha, Cs. Fazekas et al. · Reliability Engineering & System Safety · 2008 · 29 citations

, , +8

Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study

Gabor Lukács, Tamás Bartha · Urban Rail Transit · 2022 · 11 citations · Full text

, , +19

Bounded saturation-based CTL model checking; pp. 59–70

András Vörös, Dániel Darvas, Tamás Bartha · Proceedings of the Estonian Academy of Sciences · 2013 · 10 citations · Full text

Rows per page

1–3 of 3