Show simple item record

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
dc.subjectVasút
dc.subjectBiztonságtechnika
dc.subjectMatematikai logika
Formális módszerek alkalmazása a vasútbiztosító technikábanhu
Application of formal methods in railway signallling
Ph.D. Thesis
Közlekedésmérnöki Kar
2003-04-23
000445877


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record