Formal modeling for railway signaling using commercial tools (Contributo in atti di convegno)

Type
Label
  • Formal modeling for railway signaling using commercial tools (Contributo in atti di convegno) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ferrari A.; Fantechi A.; Bacherini S.; Zingoni N. (2009)
    Formal modeling for railway signaling using commercial tools
    in The First NASA Formal Methods Symposium, Moffett Field, California
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ferrari A.; Fantechi A.; Bacherini S.; Zingoni N. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: NFM 2009 - The First NASA Formal Methods Symposium (Moffett Field, California, April 6 - 8 2009). Proceedings, pp. 166 - 170. E. Denney, D. Giannakopoulou, C. S. Pasareanu (eds.). NASA Ames Research Center, 2009. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • General Electric Transportation Systems, CNR-ISTI, Pisa (literal)
Titolo
  • Formal modeling for railway signaling using commercial tools (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it