Formális módszerek alkalmazása a vasútbiztosító technikában
| Tarnai, Géza | ||
| Sághi, Balázs | ||
| 2015-08-03T10:27:57Z | ||
| 2015-08-03T10:27:57Z | ||
| 2003 | ||
| http://hdl.handle.net/10890/177 | ||
| hu | ||
| Budapesti Műszaki és Gazdaságtudományi Egyetem | ||
| Vasút | ||
| Biztonságtechnika | ||
| Matematikai logika | ||
| Formális módszerek alkalmazása a vasútbiztosító technikában | hu | |
| Application of formal methods in railway signallling | ||
| Ph.D. Thesis | ||
| 2003-04-23 | ||
| Közlekedésmérnöki Kar | ||
| 000445877 |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- ertekezes.pdf
- Size:
- 797.27 KB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.PDF
- Size:
- 189.13 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.PDF
- Size:
- 162.63 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (angol)