[ChangeLanguage]
Sidebar content Main content
Actions
  • Titre
    Utilizzo di linguaggi formali per l'analisi e la valutazione delle specifiche di test del sistema ERTMS della rete italiana ad Alta Velocità
  • Numéro d'objet
    BIB_K40606
  • Auteur
    SENESE F.
    MALANGONE R.
    PICCOLO A.
    GALDI V.
  • Source
    Ingegneria Ferroviaria (01 12 2006), p.957-966
  • Dimensions
    K
  • Matériau
    ARTICLE
Résumé


L'article décrit l'évaluation fonctionnelle des pré-requis de test au niveau de sous-système de terre du système ERTMS, obtenue à travers l'emploi des langages formels


L'article décrit l'évaluation fonctionnelle des pré-requis de test au niveau de sous-système de terre du système ERTMS, obtenue à travers l'emploi des langages formels