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).

Specification and verification of railway safety-critical systems using TLA+: A Case Study

Giulio Salierno;Letizia Leonardi;Giacomo Cabri
2020
2020
29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE 2020
Basque Coast - Bayonne, France
2020
2-s2.0-85100769573
Salierno, Giulio; Morvillo, Sabatino; Leonardi, Letizia; Cabri, Giacomo
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).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1226051
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact