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...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
University of Žilina
2011-07-01
|
| Серии: | Communications |
| Предметы: | |
| Online-ссылка: | https://komunikacie.uniza.sk/artkey/csl-201111-0018_safety-of-railway-systems-and-formal-semiformal-methods.php |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|