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.
I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
Copyright © 2021