BERTIERI, DUCCIO
BERTIERI, DUCCIO
Matematica e Informatica 'Ulisse Dini'
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Development and validation of a safe communication protocol compliant to railway standards
2021 Bertieri D.; Ceccarelli A.; Zoppi T.; Mungiello I.; Barbareschi M.; Bondavalli A.
Practical Experience Report: Implementation, verification and validation of a safe and secure communication protocol for the railway domain
2019 Bertieri D.; Zoppi T.; Mungiello I.; Ceccarelli A.; Barbareschi M.; Bondavalli A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Development and validation of a safe communication protocol compliant to railway standards | 2021 | Bertieri D.; Ceccarelli A.; Zoppi T.; Mungiello I.; Barbareschi M.; Bondavalli A. | |
Practical Experience Report: Implementation, verification and validation of a safe and secure communication protocol for the railway domain | 2019 | Bertieri D.; Zoppi T.; Mungiello I.; Ceccarelli A.; Barbareschi M.; Bondavalli A. |