Formális módszerek alkalmazása a vasútbiztosító technikában
Date
Authors
Advisor
Type
Ph.D. Thesis
Publisher
Budapesti Műszaki és Gazdaságtudományi Egyetem
Alternative
Application of formal methods in railway signallling
Date Defence
2003-04-23
Faculty
Közlekedésmérnöki Kar
- Cite this item
- http://hdl.handle.net/10890/177
OOC works
Abstract
Description
Keywords
Vasút, Biztonságtechnika, Matematikai logika