Formal development for railway signaling using commercial tools (Articolo in rivista)

Type
Label
  • Formal development for railway signaling using commercial tools (Articolo in rivista) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ferrari A.; Fantechi A.; Bacherini S.; Zingoni N. (2009)
    Formal development for railway signaling using commercial tools
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ferrari A.; Fantechi A.; Bacherini S.; Zingoni N. (literal)
Pagina inizio
  • 197 (literal)
Pagina fine
  • 198 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5825 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Abstract, pp. 197 - 198. María Alpuente, Byron Cook, Christophe Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer, 2009. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • General Electric Transportation Systems, CNR-ISTI, Pisa (literal)
Titolo
  • Formal development for railway signaling using commercial tools (literal)
Abstract
  • This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard-regulated industrial framework. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it