The Uppaal SMC model and experiments published at RSSRail 2019 https://link.springer.com/chapter/10.1007%2F978-3-030-18744-6_3

The Uppaal SMC model and experiments published at RSSRail 2019

Basile D
2019

Abstract

The Uppaal SMC model and experiments published at RSSRail 2019 https://link.springer.com/chapter/10.1007%2F978-3-030-18744-6_3
2019
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
UPPAAL
Formal methods
Railway
File in questo prodotto:
File Dimensione Formato  
prod_456748-doc_176900.zip

solo utenti autorizzati

Descrizione: The Uppaal SMC model and experiments published at RSSRail 2019
Dimensione 1.19 MB
Formato Unknown
1.19 MB Unknown   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

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