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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
University of Žilina
2011-07-01
|
| Edice: | Communications |
| Témata: | |
| On-line přístup: | https://komunikacie.uniza.sk/artkey/csl-201111-0018_safety-of-railway-systems-and-formal-semiformal-methods.php |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|