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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
University of Žilina
2011-07-01
|
| Serie: | Communications |
| Soggetti: | |
| Accesso online: | https://komunikacie.uniza.sk/artkey/csl-201111-0018_safety-of-railway-systems-and-formal-semiformal-methods.php |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|