|
|
Personal data sheet |
Print preview personal data approved: 2022. XII. 30. Publications |
2022
from data base, 2022. XII. 30. |
Gábor Lukács, Bartha Tamás: Practical UML subset for railway engineers to support formal modeling, type of document: language: English
|
2022
from data base, 2022. XII. 30. |
Lukács Gábor, Tamás Bartha: Practical UML subset for railway engineers to support formal modeling, INTERNATIONAL SCIENTIFIC JOURNAL, TRANS&MOTAUTO WORLD 7: (2) pp. 56-59. type of document: Journal paper/Konferenciaközlemény language: English
|
2022
from data base, 2022. XII. 30. |
Lukács G, Bartha T: Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study, Urban Rail Transit 8: pp. 217-245. type of document: Journal paper/Article language: English URL |
2022
from data base, 2022. XII. 30. |
Lukács Gábor, Bartha Tamás: Természetes nyelven megadott vasúti követelmények transzformációja formális tulajdonság leíró nyelvre elágazó idejű temporális logika felhasználásával, In: Péter, Tamás (szerk.) XVI. Innováció és Fenntartható Felszíni Közlekedés Konferencia (IFFK 2022), Magyar Mérnökakadémia (MMA) (2022) Paper 23 type of document: Part of book/Proceedings Paper language: Hungarian Full text |
2022
from data base, 2022. XII. 30. |
Lukacs Gabor, Bartha Tamas: Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems, In: 2022 IEEE 16th International Symposium on Applied Computational Intelligence and Informatics (SACI), IEEE (2022) pp. 283-288. type of document: Part of book/Proceedings Paper language: English URL |
2021
from data base, 2022. XII. 30. |
Farkas Balázs, Dr. Bartha Tamás: Vasúti biztosítóberendezések tervezésének formális modellezése Petri-hálók alkalmazásával: vágányutak azonosítása T-invariánsok felhasználásával, In: Péter, Tamás (szerk.) Innováció és fenntartható felszíni közlekedés: XV. IFFK 2021, Magyar Mérnökakadémia (MMA) (2021) 30 type of document: Part of book/Proceedings Paper language: Hungarian Full text |
2021
from data base, 2022. XII. 30. |
Lukács Gábor, Bartha Tamás: Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával, MŰSZAKI SZEMLE (EMT) 77: pp. 18-37. type of document: Journal paper/Article language: Hungarian
|
2019
from data base, 2022. XII. 30. |
Lukács Gábor, Bartha Tamás: Construction of formal models and verifying property specifications through an example of railway interlocking systems, POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 14: (2) pp. 39-50. type of document: Journal paper/Article number of independent citations: 1 language: English URL |
2018
from data base, 2022. XII. 30. |
Vörös András, Darvas Dániel, Hajdu Ákos, Klenik Attila, Marussy Kristóf, Molnár Vince, Bartha Tamás, Majzik István: Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157: pp. 17-40. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
2017
from data base, 2022. XII. 30. |
Farkas Balázs, Lukács Gábor, Bartha Tamás: Formális modellezés alkalmazásának lehetőségei a vasúti biztosítóberendezések területén - 1. rész, VASÚTI VEZETÉKVILÁG 1: (2) pp. 6-10. type of document: Journal paper/Article language: Hungarian
|
| Number of independent citations to these publications: | 10 |
|
|
|
|
|