Safety of Railway Systems and Formal/Semiformal Methods
The contribution deals with computer based railway safety systems. It shortly concerns problems associated with using computer systems in comparison with traditional safety systems. The attention is paid to formal and semiformal methods in development and approval of railways systems, seen in the co...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Žilina
2011-07-01
|
| Series: | Communications |
| Subjects: | |
| Online Access: | https://komunikacie.uniza.sk/artkey/csl-201111-0018_safety-of-railway-systems-and-formal-semiformal-methods.php |