EnglishSpecification and verification of railway safety-critical systems using TLA+: A Case Study / Salierno, Giulio; Morvillo, Sabatino; Leonardi, Letizia; Cabri, Giacomo. - (2020). ((Intervento presentato al convegno 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE 2020 tenutosi a Basque Coast - Bayonne, France nel 2020.
| Data di pubblicazione: | 2020 | |
| Titolo: | Specification and verification of railway safety-critical systems using TLA+: A Case Study | |
| Autore/i: | Salierno, Giulio; Morvillo, Sabatino; Leonardi, Letizia; Cabri, Giacomo | |
| Autore/i UNIMORE: | ||
| Codice identificativo Scopus: | 2-s2.0-85100769573 | |
| Nome del convegno: | 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE 2020 | |
| Luogo del convegno: | Basque Coast - Bayonne, France | |
| Data del convegno: | 2020 | |
| Citazione: | Specification and verification of railway safety-critical systems using TLA+: A Case Study / Salierno, Giulio; Morvillo, Sabatino; Leonardi, Letizia; Cabri, Giacomo. - (2020). ((Intervento presentato al convegno 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE 2020 tenutosi a Basque Coast - Bayonne, France nel 2020. | |
| Tipologia | Relazione in Atti di Convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
Loading suggested articles...
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
Copyright © 2021