A carregar...
Formal Distributed Protocol Development for Reservation of Railway Sections
The decentralisation of railway signalling systems has the potential to increase railway network capacity, availability and reduce maintenance costs. Given the safety-critical nature of railway signalling and the complexity of novel distributed signalling solutions, their safety should be guaranteed...
Na minha lista:
| Publicado no: | Rigorous State-Based Methods |
|---|---|
| Main Authors: | , , , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242030/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_14 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|