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...
Na minha lista:
| Hovedforfatter: | |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
University of Žilina
2011-07-01
|
| Serier: | Communications |
| Fag: | |
| Online adgang: | https://komunikacie.uniza.sk/artkey/csl-201111-0018_safety-of-railway-systems-and-formal-semiformal-methods.php |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|