Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Tamas Bartha

Associate Professor

Budapest University of Technology and Economics
Country flagHungary

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Hungary

About

Tamas Bartha is an Associate Professor at Budapest University of Technology and Economics, Hungary. His research primarily focuses on the verification of railway control systems, utilizing model checking and computational tree logic (CTL). Recent publications include significant case studies on the formal modeling and verification of electronic urban railway control systems, contributing to advancements in the field of railway engineering and safety.

Articles (2)

Year:

2024

Year:

2022