Vasút-automatikai rendszerek fejlesztésének támogatása formális módszerek alkalmazásával
| Bartha, Tamás | ||
| Lukács, Gábor | ||
| 2025-02-24T12:43:31Z | ||
| 2025-02-24T12:43:31Z | ||
| 2024 | ||
| http://hdl.handle.net/10890/58924 | ||
| hu | ||
| Vasút-automatikai rendszerek fejlesztésének támogatása formális módszerek alkalmazásával | ||
| Supporting the development of railway automation systems using formal methods | ||
| Disszertáció | hu | |
| 2025-03-27 | ||
| Kandó Kálmán Doktori Iskola | ||
| Közlekedésmérnöki és Járműmérnöki Kar | ||
| 000733771 | ||
| K-10361 | ||
| 30411 | ||
| Doktori (Ph.D.) értekezés / Ph.D. Thesis | ||
| Budapesti Műszaki és Gazdaságtudományi Egyetem | hu |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- ertekezes.pdf
- Size:
- 9.15 MB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.pdf
- Size:
- 446.57 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.pdf
- Size:
- 488.09 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (angol)
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 846 B
- Format:
- Item-specific license agreed upon to submission
- Description: