Improving Verification Process in Driverless Metro Systems: The MBAT Project

Capitolo di libro

Data di Pubblicazione:

2012

Citazione:

Improving Verification Process in Driverless Metro Systems: The MBAT Project / Marrone, Stefano; Nardone, Roberto; Orazzo, Antonio; Petrone, Ida; Velardi, Luigi. - 7610:(2012), pp. 231-245. [10.1007/978-3-642-34032-1_23]

Tipologia CRIS:

2.1 Contributo in volume (Capitolo o Saggio)

Elenco autori:

Marrone, Stefano; Nardone, Roberto; Orazzo, Antonio; Petrone, Ida; Velardi, Luigi

Link alla scheda completa:

https://iris.unirc.it/handle/20.500.12318/63270

Titolo del libro:

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Pubblicato in:

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Series