Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design / G., Dipoppa; G., D'Alessandro; R., Semprini; Tronci, Enrico. - (2001), pp. 210-219. (Intervento presentato al convegno Proceedings of theHigh Assurance Systems Engineering tenutosi a Boco Raton, FL, USA nel October 22-24, 2001).
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design
TRONCI, Enrico
2001
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.