Vasút-automatikai rendszerek fejlesztésének támogatása formális módszerek alkalmazásával
Date
Authors
Advisor
Type
Disszertáció
Language
hu
Alternative
Supporting the development of railway automation systems using formal methods
Date Defence
2025-03-27
Doctoral School
Kandó Kálmán Doktori Iskola
Faculty
Közlekedésmérnöki és Járműmérnöki Kar
Gender
Doktori (Ph.D.) értekezés / Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem