Use of formal languages to represent the ERTMS/ETCS system requirements specifications of the interconnection L0/L2
PICCOLO, Antonio;GALDI, Vincenzo;
2009
File in 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.