SAFETY OF RAILWAY SYSTEMS AND FORMAL/SEMIFORMAL METHODS

Bibliographic Details
Main Author: Slivka, Milan (Author)
Format: Article
Language:English