[ChangeLanguage]
Sidebar content Main content
Acties
  • Titel
    Utilizzo di linguaggi formali per l'analisi e la valutazione delle specifiche di test del sistema ERTMS della rete italiana ad Alta Velocità
  • Objectnummer
    BIB_K40606
  • Auteur
    SENESE F.
    MALANGONE R.
    PICCOLO A.
    GALDI V.
  • Bron
    Ingegneria Ferroviaria (01 12 2006), p.957-966
  • Afmetingen
    K
  • Materiaal
    Artikel
Samenvatting